DIMACS CNF parser library

Latest on Hackage:1.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

BSD3 licensed by Denis Bueno
Maintained by Denis Bueno

A DIMACS CNF parser library, implemented with Parsec 3, using ByteStrings. DIMACS CNF is a file format for describing constraint problems in conjunctive normal form.


-*- mode: outline -*-

* 1.2
Reimplemented with lazy ByteStrings, for efficiency. It used to be very slow
on large CNF instances.

(backwards-incompatible) Now use unboxed int-arrays for clauses, which is more
memory-efficient than lists.

* 1.1 (21 Mar 2008)
Parser allows clauses to be split over multiple lines.

* 1.0.1
Cabal description fix

* 1.0
Initial release
Depends on 4 packages:
Used by 3 packages:
comments powered byDisqus