Package Usage: hackage: parse-dimacs

5 versions
Latest release: over 11 years ago
4,867 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/parse-dimacs

Dependent Repos 1

pepeiborra/narradar

An automatic prover of termination of logic programs and narrowing

• * narradar.cabal

Size: 1.92 MB - Last synced: about 1 year ago - Pushed: over 8 years ago

liborw/funsat Fork of dbueno/funsat

An efficient, embeddable DPLL SAT solver in Haskell

• >=1.2 && <2 funsat.cabal

Size: 6.4 MB - Last synced: about 1 year ago - Pushed: about 13 years ago