« Changelog History


ersatz v0.2.0.1 Release Notes

    • 🛠 Fixed an overly conservative bound on containers.

    0.2

    • Converted to Control.Lens internally.
    • ➕ Added Ersatz.Solver.DepQBF
    • ➕ Added a bunch of example dimacs files
    • 👍 The types now prevent one from applying a solver that does not support QSAT to a problem that requires it
    • ➕ Added examples/regexp-grid, a program that solves the regular expression crossword
    • Made some optimizations to the formula generation. regexp-grid went from 71737 literals and 427725 clauses to 8618 literals and 172100 clauses and got much faster
    • Based and and or in Boolean on Foldable; added all and any