ersatz v0.4.1 Release Notes
Release Date: 2017-07-29 // over 6 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
, andErsatz.Relation.Op
modules - Eliminate the
Or
constructor fromBit
towards using AIG - ๐ Fix error in the SAT encoding of the
choose
function - ๐ Revamp
Setup.hs
to usecabal-doctest
. This makes it build withCabal-2.0
, and makes thedoctest
s work withcabal new-build
and sandboxes.
- โ Add a library dependency on the