-*- mode: outline -*- * 0.6.0 - 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