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