All Versions
20
Latest Version
Avg Release Cycle
179 days
Latest Release
1520 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