ersatz v0.4.8 Release Notes

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

Previous changes from v0.4.7

    • ➕ Add anyminisat and trySolvers