All Versions
20
Latest Version
Avg Release Cycle
179 days
Latest Release
1520 days ago
Changelog History
Page 2
Changelog History
Page 2
-
v0.3 Changes
March 07, 2015- Unified
Encoding
andDecoding
intoCodec
- Unified the
forall
andexists
implementations into a singleliterally
method inVariable
class. - โ Added
Orderable
type class and instances - โ Added
Ersatz.Bits.Bits
for variable-sized bit arithmetic. - ๐ Renamed
Ersatz.Bits.half_adder
tohalfAdder
- ๐ Renamed
Ersatz.Bits.full_adder
tofullAdder
- โ Added new examples
- โฌ๏ธ Dropped
blaze
package dependency in favor of newerbytestring
- Significantly shrank the number of "Trustworthy" modules
- โ Added various generic
V1
instances - โ Added
Equatable
instances forMap
andIntMap
- โ Added
Ersatz.BitChar
module for computing withChar
andString
- Wider version bounds for
transformers
andmtl
.
- Unified
-
v0.2.6 Changes
- ๐
temporary 1.2
support
- ๐
-
v0.2.6.1 Changes
- Exported
Ersatz.Variable.GVariable
- Exported
-
v0.2.5 Changes
- ๐ Support for GHC 7.8 and
lens
4.x
- ๐ Support for GHC 7.8 and
-
v0.2.5.1 Changes
- ๐ Slightly faster builds due to dropping the need for
template-haskell
.
- ๐ Slightly faster builds due to dropping the need for
-
v0.2.3 Changes
- ๐ SafeHaskell support
-
v0.2.2 Changes
- โ Added examples to the documentation.
- ๐ Made the examples build as
ersatz-sudoku
andersatz-regexp-grid
.
-
v0.2.1 Changes
- โ Added
examples/sudoku
, a sudoku solver.
- โ Added
-
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
andor
inBoolean
onFoldable
; addedall
andany
- ๐ Fixed an overly conservative bound on
-
v0.1.0.2 Changes
- โ Added correct links to the source repository and issue tracker to the cabal project
0.1
- Repository Initialized