« Changelog History


ersatz v0.4.8 Release Notes

Release Date: 2020-01-29 // about 4 years ago
    • ➕ Add MonadSAT and MonadQSAT
    • Achieve forward compatibility with GHC proposal 229.

Previous changes from v0.4.7

    • ➕ Add anyminisat and trySolvers