@hackage ersatz-toysat dependencies

20 results

library:ersatz-toysat (6 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.3 && <0.6

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.4.2.1 && <0.7

@haskell/base

Basic libraries

BSD-3-Clause>=4.6 && <4.16

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.4 && <0.6

@hackage/toysolver

Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

BSD-3-Clause>=0.2.0 && <0.9.0

@hackage/ersatz

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

BSD-3-Clause>=0.3 && <0.5

executable:ersatz-toysat-regexp-grid (8 dependencies)

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1 && <3.2

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/ghc-prim

GHC primitives

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause<5

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/ersatz-toysat

toysat driver as backend for ersatz

BSD-3-Clause

@hackage/ersatz

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

BSD-3-Clause

executable:ersatz-toysat-sudoku (6 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/ghc-prim

GHC primitives

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause<5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/ersatz-toysat

toysat driver as backend for ersatz

BSD-3-Clause

@hackage/ersatz

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

BSD-3-Clause