Dependencies for funsat-0.5.2
Libraries
funsat
- array
- base (<4.8)
- bitset (<1)
- containers
- fgl
- mtl
- parse-dimacs (>=1.2 && <2)
- pretty
- QuickCheck
Executables
funsat
- array
- base
- bitset (<1)
- containers
- fgl
- mtl
- parse-dimacs (>=1.2 && <2)
- pretty
- QuickCheck
- random
- time