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