ersatz v0.4.1 Release Notes

Release Date: 2017-07-29 // over 4 years ago
    • โž• 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.