lib:parse-dimacs
Modules
Dependencies
- array lib:array >=0
- base lib:base <5
- bytestring lib:bytestring >=0
- parsec lib:parsec >=3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- funsat exe:funsat
- funsat lib:funsat
- sat-micro-hs exe:sat-micro
- satchmo-funsat lib:satchmo-funsat
- toysolver bench:BenchmarkSATLIB
- toysolver exe:cnf2lp
- toysolver exe:lpconvert
- toysolver exe:pbconvert
- toysolver exe:toysat
- toysolver exe:toysolver
- toysolver lib:toysolver