The latest version of toysolver is 0.8.1-1.
lib:toysolver
Modules
- Algorithm.BoundsInference
- Algorithm.CAD
- Algorithm.CongruenceClosure
- Algorithm.ContiTraverso
- Algorithm.Cooper
- Algorithm.FOLModelFinder
- Algorithm.FourierMotzkin
- Algorithm.LPSolver
- Algorithm.LPSolverHL
- Algorithm.LPUtil
- Algorithm.MIPSolver2
- Algorithm.MIPSolverHL
- Algorithm.OmegaTest
- Algorithm.Simplex
- Algorithm.Simplex2
- Converter.CNF2LP
- Converter.LP2SMT
- Converter.MaxSAT2LP
- Converter.ObjType
- Converter.PB2LP
- Data.AlgebraicNumber
- Data.AlgebraicNumber.Root
- Data.ArithRel
- Data.Delta
- Data.Expr
- Data.Formula
- Data.Interval
- Data.LA
- Data.LBool
- Data.Lattice
- Data.Linear
- Data.Polynomial
- Data.Polynomial.FactorZ
- Data.Polynomial.GBase
- Data.Polynomial.Lagrange
- Data.Polynomial.Sturm
- SAT
- SAT.CAMUS
- SAT.Integer
- SAT.MUS
- SAT.PBO
- SAT.Printer
- SAT.TheorySolver
- SAT.TseitinEncoder
- SAT.Types
- Text.GCNF
- Text.GurobiSol
- Text.LPFile
- Text.MPSFile
- Text.MaxSAT
- Text.PBFile
- Text.SDPFile
- Util
- Version
Dependencies
- OptDir lib:OptDir >=0
- array lib:array >=0
- base lib:base >=4 && <4.6
- bytestring lib:bytestring >=0
- containers lib:containers >=0.4.2
- deepseq lib:deepseq >=0
- filepath lib:filepath >=0
- heaps lib:heaps >=0
- mtl lib:mtl >=0
- old-locale lib:old-locale >=0
- parse-dimacs lib:parse-dimacs >=0
- parsec lib:parsec >=0
- primes lib:primes >=0
- queue lib:queue >=0
- random lib:random >=0
- stm lib:stm >=2.3
- time lib:time >=0
- unbounded-delays lib:unbounded-delays >=0
Reverse dependencies
Direct only. Not exhaustive.
- toysolver bench:BenchmarkSATLIB
- toysolver exe:lpconvert
- toysolver exe:pbconvert
- toysolver exe:toyfmf
- toysolver exe:toysat
- toysolver exe:toysolver
- toysolver test:TestAReal
- toysolver test:TestContiTraverso
- toysolver test:TestInterval
- toysolver test:TestLPFile
- toysolver test:TestMIPSolver2
- toysolver test:TestMPSFile
- toysolver test:TestPBFile
- toysolver test:TestPolynomial
- toysolver test:TestQE
- toysolver test:TestSAT
- toysolver test:TestSimplex2
- toysolver test:TestUtil