@hackage / toysolver

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

Latest0.10.0

Dependencies

library:toysolver (54 dependencies)

executable:shortest-path (5 dependencies)

@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.18 && <4.23
- License: BSD-3-Clause
@hackage / toysolver Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Version:
- License: BSD-3-Clause

executable:toysolver (10 dependencies)

executable:toysmt (6 dependencies)

executable:toysat (16 dependencies)

executable:toyqbf (5 dependencies)

executable:toyfmf (7 dependencies)

executable:toyconvert (13 dependencies)

executable:svm2lp (8 dependencies)

executable:survey-propagation (3 dependencies)

executable:sudoku (3 dependencies)

executable:toysolver-check (11 dependencies)

executable:probsat (7 dependencies)

executable:pigeonhole (5 dependencies)

executable:numberlink (8 dependencies)

executable:nqueens (3 dependencies)

executable:nonogram (4 dependencies)

executable:knapsack (2 dependencies)

executable:htc (3 dependencies)

executable:assign (6 dependencies)

test:TestSuite (33 dependencies)

test:TestPolynomial (10 dependencies)

benchmark:BenchmarkSubsetSum (4 dependencies)

benchmark:BenchmarkSATLIB (5 dependencies)

benchmark:BenchmarkKnapsack (3 dependencies)

foreign-library:toysat-ipasir (3 dependencies)