@hackage satchmo-toysat dependencies

5 results

library:satchmo-toysat (5 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.0.0 && <0.8

@haskell/base

Core data structures and operations

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

@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.10.0

@hackage/satchmo

SAT encoding monad

GPL-2.0-only>=2.8.1 && <2.10