@hackage / ersatz

A monad for expressing SAT or QSAT problems using observable sharing.

Latest0.6

Dependencies

library:ersatz (14 dependencies)

@hackage / array Mutable and immutable arrays
- Version: >=0.2 && <0.6
- License: BSD-3-Clause
@hackage / semigroups Anything that associates
- Version: >=0.16 && <1
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=1.1 && <2.4
- License: BSD-3-Clause
@hackage / temporary Portable temporary file and directory support
- Version: >=1.1 && <1.4
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version:
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.3 && <0.7
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.2.0.1 && <0.9
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.1 && <1.7
- License: BSD-3-Clause
@hackage / streams Various Haskell 2010 stream comonads
- Version: >=3.3 && <4
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=4 && <6
- License: BSD-2-Clause
@hackage / data-default A class for types with a default value
- Version: >=0.5 && <0.9
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.4.0 && <0.13
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause

executable:ersatz-circuit-synthesis (5 dependencies)

executable:ersatz-graph-coloring (6 dependencies)

executable:ersatz-regexp-grid (8 dependencies)

executable:ersatz-sudoku (4 dependencies)

test:hunit (6 dependencies)

test:moore (3 dependencies)

test:speed (2 dependencies)

test:z001 (2 dependencies)