toysolver
Version 0.8.1 revision 1 uploaded by MasahiroSakai.
Package meta
- Synopsis
- Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Description
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo Boolean SatisfactionOptimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic.
- Author
- Masahiro Sakai (masahiro.sakai@gmail.com)
- Bug reports
- https://github.com/msakai/toysolver/issues
- Category
- Algorithms, Optimisation, Optimization, Theorem Provers, Constraints, Logic, Formal Methods, SMT
- Copyright
- n/a
- Homepage
- https://github.com/msakai/toysolver/
- Maintainer
- masahiro.sakai@gmail.com
- Package URL
- n/a
- Stability
- n/a
Components
- lib:toysolver
- bench:BenchmarkKnapsack
- bench:BenchmarkSATLIB
- bench:BenchmarkSubsetSum
- exe:assign
- exe:htc
- exe:knapsack
- exe:maxsatverify
- exe:nonogram
- exe:nqueens
- exe:numberlink
- exe:pbverify
- exe:pigeonhole
- exe:probsat
- exe:shortest-path
- exe:sudoku
- exe:survey-propagation
- exe:svm2lp
- exe:toyconvert
- exe:toyfmf
- exe:toyqbf
- exe:toysat
- exe:toysmt
- exe:toysolver
- flib:toysat-ipasir
- test:TestPolynomial
- test:TestSuite