parse-dimacs-1.2: CHANGES

-*- 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