The latest version of funsat is 0.6.2-0.
exe:funsat
Dependencies
- QuickCheck lib:QuickCheck <2
- array lib:array >=0.2 && <0.3
- base lib:base >=3 && <5
- bimap lib:bimap >=0.2 && <0.3
- bitset lib:bitset <1
- containers lib:containers >=0.2 && <0.3
- fgl lib:fgl >=5 && <=5.4.2.2
- mtl lib:mtl >=1 && <2
- parse-dimacs lib:parse-dimacs >=1.2 && <2
- pretty lib:pretty <2
- random lib:random <2
- time lib:time <1.2
Reverse dependencies
None.