All Versions
20
Latest Version
Avg Release Cycle
179 days
Latest Release
1688 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.