Changelog for funsat-0.6.2If this renders badly as markdown, see the plain text version
-- mode: outline --
- Logical circuit representation added.
- License is now BSD3, which is apparently happier for some people.
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