The latest version of ersatz is 0.5-1.
lib:ersatz
Modules
- Ersatz
- Ersatz.Bit
- Ersatz.BitChar
- Ersatz.Bits
- Ersatz.Codec
- Ersatz.Counting
- Ersatz.Equatable
- Ersatz.Internal.Formula
- Ersatz.Internal.Literal
- Ersatz.Orderable
- Ersatz.Problem
- Ersatz.Relation
- Ersatz.Solution
- Ersatz.Solver
- Ersatz.Solver.DepQBF
- Ersatz.Solver.Minisat
- Ersatz.Solver.Z3
- Ersatz.Variable
Dependencies
- array lib:array >=0.2 && <0.6
- attoparsec lib:attoparsec >=0
- base lib:base >=4.9 && <5
- bytestring lib:bytestring >=0.10.4.0 && <0.13
- containers lib:containers >=0.2.0.1 && <0.7
- data-default lib:data-default >=0.5 && <0.8
- lens lib:lens >=4 && <6
- mtl lib:mtl >=1.1 && <2.4
- process lib:process >=1.1 && <1.7
- semigroups lib:semigroups >=0.16 && <1
- streams lib:streams >=3.3 && <4
- temporary lib:temporary >=1.1 && <1.4
- transformers lib:transformers >=0.3 && <0.7
- unordered-containers lib:unordered-containers >=0.2 && <0.3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- ersatz exe:ersatz-regexp-grid
- ersatz exe:ersatz-sudoku
- ersatz test:doctests
- ersatz test:moore
- ersatz test:properties
- ersatz test:speed
- ersatz test:z001
- ersatz-toysat exe:ersatz-toysat-regexp-grid
- ersatz-toysat exe:ersatz-toysat-sudoku
- obdd lib:obdd