All Versions
20
Latest Version
Avg Release Cycle
179 days
Latest Release
631 days ago

Changelog History
Page 1

  • v0.4.8 Changes

    January 29, 2020
    • โž• Add MonadSAT and MonadQSAT
    • Achieve forward compatibility with GHC proposal 229.
  • v0.4.7 Changes

    June 01, 2019
    • โž• Add anyminisat and trySolvers
  • v0.4.6 Changes

    May 21, 2019
    • โž• Add support for cryptominisat5
  • v0.4.5 Changes

    May 02, 2019
    • ๐Ÿ‘ Allow ersatz-regexp-grid to build with base-4.13 (GHC 8.8).
  • v0.4.4 Changes

    August 13, 2018
    • ๐Ÿ‘ Avoid the use of failable pattern matches in do-notation to support building with GHC 8.6, which enables MonadFailDesugaring.
  • v0.4.3 Changes

    July 03, 2018
    • โœ… Make the test suite compile on GHC 8.6.
    • ๐Ÿ‘ Allow building with containers-0.6.
  • v0.4.2 Changes

    January 18, 2018
    • โž• Add Semigroup instances for Clause and Formula.
    • Generalize regular, regular_in_degree, regular_out_degree, max_in_degree, min_in_degree, max_out_degree, and min_out_degree to work over heterogeneous relations.
    • โž• Add buildFrom to Ersatz.Relation.Data.
    • Add difference, reflexive_closure, and symmetric_closure to Ersatz.Relation.Op.
    • โž• Add anti_symmetric and total to Ersatz.Relation.Prop.
  • v0.4.1 Changes

    July 29, 2017
    • โž• Add a library dependency on the doctests test suite

    0.4

    • ๐ŸŽ Performance improvements for CNF printing and parsing
    • โž• Add the Ersatz.Counting, Ersatz.Relation, Ersatz.Relation.Data, Ersatz.Relation.Prop, and Ersatz.Relation.Op modules
    • Eliminate the Or constructor from Bit towards using AIG
    • ๐Ÿ›  Fix error in the SAT encoding of the choose function
    • ๐Ÿ— Revamp Setup.hs to use cabal-doctest. This makes it build with Cabal-2.0, and makes the doctests work with cabal new-build and sandboxes.
  • v0.4

    May 12, 2017
  • v0.3.1 Changes

    May 29, 2016
    • โœ‚ Removed the explicit Safe annotations. They can't be maintained by mere mortals. Patches to mark packages upstream as Trustworthy will be accepted as needed.