Changelog of @hackage/parse-dimacs 1.3

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