Dependencies for funsat-0.6.2
Libraries
funsat
- array
- base
- bimap (>=0.2 && <0.3)
- bitset (>=1 && <2)
- containers
- fgl
- mtl
- parse-dimacs (>=1.2 && <2)
- pretty
Executables
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