Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
funsat-0.6.2
library
array
base
bimap
(>=0.2 && <0.3)
bitset
(>=1 && <2)
containers
fgl
mtl
parse-dimacs
(>=1.2 && <2)
pretty
funsat
array
base
(<4)
bimap
(>=0.2 && <0.3)
bitset
(>=1 && <2)
containers
fgl
mtl
parse-dimacs
(>=1.2 && <2)
pretty
QuickCheck
(>=2 && <3)
random
time