The latest version of toysolver is 0.8.1-1.
toysolver
Version 0.2.0 revision 1 uploaded by sjakobi.
Package meta
- Synopsis
- Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
- Description
Toy-level implementation of some decision procedures
- Author
- Masahiro Sakai (masahiro.sakai@gmail.com)
- Bug reports
- https://github.com/msakai/toysolver/issues
- Category
- Algorithms, Optimisation, Optimization, Theorem Provers, Constraints
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- masahiro.sakai@gmail.com
- Package URL
- n/a
- Stability
- n/a
Components
- lib:toysolver
- bench:BenchmarkSATLIB
- exe:htc
- exe:knapsack
- exe:lpconvert
- exe:maxsatverify
- exe:nqueens
- exe:pbconvert
- exe:pbverify
- exe:pigeonhole
- exe:sudoku
- exe:toyfmf
- exe:toysat
- exe:toysolver
- test:TestAReal
- test:TestArith
- test:TestCongruenceClosure
- test:TestContiTraverso
- test:TestLPFile
- test:TestMIPSolver2
- test:TestMPSFile
- test:TestPBFile
- test:TestPolynomial
- test:TestSAT
- test:TestSDPFile
- test:TestSimplex
- test:TestSimplex2
- test:TestUtil