Changelog of @hackage/funsat 0.6.2

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