The latest version of toysolver is 0.8.1-1.
lib:toysolver
Modules
- Algebra.Lattice.Boolean
- Algorithm.BoundsInference
- Algorithm.CAD
- Algorithm.CongruenceClosure
- Algorithm.ContiTraverso
- Algorithm.Cooper
- Algorithm.Cooper.Core
- Algorithm.Cooper.FOL
- Algorithm.FOLModelFinder
- Algorithm.FourierMotzkin
- Algorithm.FourierMotzkin.Core
- Algorithm.FourierMotzkin.FOL
- Algorithm.LPSolver
- Algorithm.LPSolverHL
- Algorithm.LPUtil
- Algorithm.MIPSolver2
- Algorithm.MIPSolverHL
- Algorithm.OmegaTest
- Algorithm.OmegaTest.Misc
- Algorithm.Simplex
- Algorithm.Simplex2
- Converter.LP2SMT
- Converter.MaxSAT2LP
- Converter.MaxSAT2NLPB
- Converter.MaxSAT2WBO
- Converter.ObjType
- Converter.PB2LP
- Converter.PB2LSP
- Converter.PB2SMP
- Converter.PB2WBO
- Converter.PBSetObj
- Converter.SAT2LP
- Converter.SAT2PB
- Converter.WBO2PB
- Data.AlgebraicNumber.Real
- Data.AlgebraicNumber.Root
- Data.ArithRel
- Data.DNF
- Data.Delta
- Data.FOL.Arith
- Data.FOL.Formula
- Data.LA
- Data.LA.FOL
- Data.LBool
- Data.Polynomial
- Data.Polynomial.Factorization.FiniteField
- Data.Polynomial.Factorization.Hensel
- Data.Polynomial.Factorization.Integer
- Data.Polynomial.Factorization.Kronecker
- Data.Polynomial.Factorization.Rational
- Data.Polynomial.Factorization.SquareFree
- Data.Polynomial.Factorization.Zassenhaus
- Data.Polynomial.GroebnerBasis
- Data.Polynomial.Interpolation.Lagrange
- Data.Polynomial.RootSeparation.Graeffe
- Data.Polynomial.RootSeparation.Sturm
- Data.Sign
- Data.Var
- SAT
- SAT.CAMUS
- SAT.Integer
- SAT.MUS
- SAT.PBO
- SAT.PBO.MSU4
- SAT.PBO.UnsatBased
- 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
- algebra lib:algebra >=0
- array lib:array >=0
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0.4.2
- data-interval lib:data-interval >=0.2.0
- deepseq lib:deepseq >=0
- filepath lib:filepath >=0
- finite-field lib:finite-field >=0.7.0 && <1.0.0
- hashable lib:hashable >=1.1.2.5 && <1.3.0.0
- heaps lib:heaps >=0
- lattices lib:lattices >=1.2.1.1
- mtl lib:mtl >=0
- multiset lib:multiset >=0
- old-locale lib:old-locale >=0
- parse-dimacs lib:parse-dimacs >=0
- parsec lib:parsec >=0
- prettyclass lib:prettyclass >=1.0.0
- primes lib:primes >=0
- queue lib:queue >=0
- random lib:random >=0
- stm lib:stm >=2.3
- time lib:time >=0
- type-level-numbers lib:type-level-numbers >=0.1.1.0 && <0.2.0.0
- unbounded-delays lib:unbounded-delays >=0
- vector-space lib:vector-space >=0.8.6
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