The latest version of parse-dimacs is 1.3-0.
lib:parse-dimacs
Modules
Dependencies
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