funsat-0.5.2: CHANGES

-*- mode: outline -*-

* 0.5.2
Maintenance update because a new (incompatible) version of bitset, version 1.0,
was released.  Funsat should again compile via cabal-install.

* 0.5.1
** Update for compatibility with parse-dimacs 1.2,
which should mean faster parsing.
** Code cleanup