The latest version of funsat is 0.6.2-0.
lib:funsat
Modules
Dependencies
- QuickCheck lib:QuickCheck >=0
- array lib:array >=0
- base lib:base >=0
- bitset lib:bitset >=0
- containers lib:containers >=0
- fgl lib:fgl >=0
- mtl lib:mtl >=0
- parse-dimacs lib:parse-dimacs >=1.2
- parsec lib:parsec >=0
- pretty lib:pretty >=0
- random lib:random >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- satchmo-funsat lib:satchmo-funsat