All Versions
20
Latest Version
Avg Release Cycle
179 days
Latest Release
1490 days ago

Changelog History
Page 2

  • v0.3 Changes

    March 07, 2015
    • Unified Encoding and Decoding into Codec
    • Unified the forall and exists implementations into a single literally method in Variable class.
    • ➕ Added Orderable type class and instances
    • ➕ Added Ersatz.Bits.Bits for variable-sized bit arithmetic.
    • 📇 Renamed Ersatz.Bits.half_adder to halfAdder
    • 📇 Renamed Ersatz.Bits.full_adder to fullAdder
    • ➕ Added new examples
    • ⬇️ Dropped blaze package dependency in favor of newer bytestring
    • Significantly shrank the number of "Trustworthy" modules
    • ➕ Added various generic V1 instances
    • ➕ Added Equatable instances for Map and IntMap
    • ➕ Added Ersatz.BitChar module for computing with Char and String
    • Wider version bounds for transformers and mtl.
  • v0.2.6 Changes

    • 👍 temporary 1.2 support
  • v0.2.6.1 Changes

    • Exported Ersatz.Variable.GVariable
  • v0.2.5 Changes

    • 👌 Support for GHC 7.8 and lens 4.x
  • v0.2.5.1 Changes

    • 🏗 Slightly faster builds due to dropping the need for template-haskell.
  • v0.2.3 Changes

    • 👍 SafeHaskell support
  • v0.2.2 Changes

    • ➕ Added examples to the documentation.
    • 🏗 Made the examples build as ersatz-sudoku and ersatz-regexp-grid.
  • v0.2.1 Changes

    • ➕ Added examples/sudoku, a sudoku solver.
  • v0.2.0.1 Changes

    • 🛠 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
  • v0.1.0.2 Changes

    • ➕ Added correct links to the source repository and issue tracker to the cabal project

    0.1

    • Repository Initialized