Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
funsat-0.5.1
library
array
base
(<4.8)
bitset
containers
fgl
mtl
parse-dimacs
(>=1.2)
parsec
pretty
QuickCheck
random
funsat
array
base
bitset
containers
fgl
mtl
parse-dimacs
(>=1.2)
parsec
pretty
QuickCheck
time