funsat-0.6.0: dependencies

Dependencies for funsat-0.6.0

library	array base bimap (>=0.2 && <0.3) bitset (<1) containers fgl mtl parse-dimacs (>=1.2 && <2) pretty QuickCheck (<2)
funsat	array base bimap (>=0.2 && <0.3) bitset (<1) containers fgl mtl parse-dimacs (>=1.2 && <2) pretty QuickCheck (<2) random time