lib:toysolver
Modules
- ToySolver.Arith.BoundsInference
- ToySolver.Arith.CAD
- ToySolver.Arith.ContiTraverso
- ToySolver.Arith.Cooper
- ToySolver.Arith.Cooper.Base
- ToySolver.Arith.Cooper.FOL
- ToySolver.Arith.DifferenceLogic
- ToySolver.Arith.FourierMotzkin
- ToySolver.Arith.FourierMotzkin.Base
- ToySolver.Arith.FourierMotzkin.FOL
- ToySolver.Arith.FourierMotzkin.Optimization
- ToySolver.Arith.LPUtil
- ToySolver.Arith.MIP
- ToySolver.Arith.OmegaTest
- ToySolver.Arith.OmegaTest.Base
- ToySolver.Arith.Simplex
- ToySolver.Arith.Simplex.Simple
- ToySolver.Arith.Simplex.Textbook
- ToySolver.Arith.Simplex.Textbook.LPSolver
- ToySolver.Arith.Simplex.Textbook.LPSolver.Simple
- ToySolver.Arith.Simplex.Textbook.MIPSolver.Simple
- ToySolver.Arith.VirtualSubstitution
- ToySolver.BitVector
- ToySolver.BitVector.Base
- ToySolver.BitVector.Solver
- ToySolver.Combinatorial.BipartiteMatching
- ToySolver.Combinatorial.HittingSet.DAA
- ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996
- ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999
- ToySolver.Combinatorial.HittingSet.HTCBDD
- ToySolver.Combinatorial.HittingSet.InterestingSets
- ToySolver.Combinatorial.HittingSet.MARCO
- ToySolver.Combinatorial.HittingSet.SHD
- ToySolver.Combinatorial.HittingSet.Simple
- ToySolver.Combinatorial.HittingSet.Util
- ToySolver.Combinatorial.Knapsack.BB
- ToySolver.Combinatorial.Knapsack.DPDense
- ToySolver.Combinatorial.Knapsack.DPSparse
- ToySolver.Combinatorial.SubsetSum
- ToySolver.Converter
- ToySolver.Converter.Base
- ToySolver.Converter.GCNF2MaxSAT
- ToySolver.Converter.MIP2PB
- ToySolver.Converter.MIP2SMT
- ToySolver.Converter.NAESAT
- ToySolver.Converter.ObjType
- ToySolver.Converter.PB
- ToySolver.Converter.PB2IP
- ToySolver.Converter.PB2LSP
- ToySolver.Converter.PB2SMP
- ToySolver.Converter.PBSetObj
- ToySolver.Converter.QBF2IPC
- ToySolver.Converter.QUBO
- ToySolver.Converter.SAT2KSAT
- ToySolver.Converter.SAT2MIS
- ToySolver.Converter.SAT2MaxCut
- ToySolver.Converter.SAT2MaxSAT
- ToySolver.Converter.Tseitin
- ToySolver.Data.AlgebraicNumber.Complex
- ToySolver.Data.AlgebraicNumber.Real
- ToySolver.Data.AlgebraicNumber.Root
- ToySolver.Data.AlgebraicNumber.Sturm
- ToySolver.Data.BoolExpr
- ToySolver.Data.Boolean
- ToySolver.Data.DNF
- ToySolver.Data.Delta
- ToySolver.Data.FOL.Arith
- ToySolver.Data.FOL.Formula
- ToySolver.Data.IntVar
- ToySolver.Data.LA
- ToySolver.Data.LA.FOL
- ToySolver.Data.LBool
- ToySolver.Data.OrdRel
- ToySolver.Data.Polynomial
- ToySolver.Data.Polynomial.Factorization.FiniteField
- ToySolver.Data.Polynomial.Factorization.Hensel
- ToySolver.Data.Polynomial.Factorization.Hensel.Internal
- ToySolver.Data.Polynomial.Factorization.Integer
- ToySolver.Data.Polynomial.Factorization.Kronecker
- ToySolver.Data.Polynomial.Factorization.Rational
- ToySolver.Data.Polynomial.Factorization.SquareFree
- ToySolver.Data.Polynomial.Factorization.Zassenhaus
- ToySolver.Data.Polynomial.GroebnerBasis
- ToySolver.Data.Polynomial.Interpolation.Hermite
- ToySolver.Data.Polynomial.Interpolation.Lagrange
- ToySolver.EUF.CongruenceClosure
- ToySolver.EUF.EUFSolver
- ToySolver.EUF.FiniteModelFinder
- ToySolver.FileFormat
- ToySolver.FileFormat.Base
- ToySolver.FileFormat.CNF
- ToySolver.Graph.Base
- ToySolver.Graph.MaxCut
- ToySolver.Graph.ShortestPath
- ToySolver.Internal.Data.IOURef
- ToySolver.Internal.Data.IndexedPriorityQueue
- ToySolver.Internal.Data.PriorityQueue
- ToySolver.Internal.Data.SeqQueue
- ToySolver.Internal.Data.Vec
- ToySolver.Internal.ProcessUtil
- ToySolver.Internal.TextUtil
- ToySolver.Internal.Util
- ToySolver.QBF
- ToySolver.QUBO
- ToySolver.SAT
- ToySolver.SAT.Encoder.Cardinality
- ToySolver.SAT.Encoder.Cardinality.Internal.Naive
- ToySolver.SAT.Encoder.Cardinality.Internal.ParallelCounter
- ToySolver.SAT.Encoder.Cardinality.Internal.Totalizer
- ToySolver.SAT.Encoder.Integer
- ToySolver.SAT.Encoder.PB
- ToySolver.SAT.Encoder.PB.Internal.Adder
- ToySolver.SAT.Encoder.PB.Internal.BDD
- ToySolver.SAT.Encoder.PB.Internal.Sorter
- ToySolver.SAT.Encoder.PBNLC
- ToySolver.SAT.Encoder.Tseitin
- ToySolver.SAT.ExistentialQuantification
- ToySolver.SAT.Formula
- ToySolver.SAT.MUS
- ToySolver.SAT.MUS.Enum
- ToySolver.SAT.MUS.Types
- ToySolver.SAT.PBO
- ToySolver.SAT.PBO.BC
- ToySolver.SAT.PBO.BCD
- ToySolver.SAT.PBO.BCD2
- ToySolver.SAT.PBO.Context
- ToySolver.SAT.PBO.MSU4
- ToySolver.SAT.PBO.UnsatBased
- ToySolver.SAT.Printer
- ToySolver.SAT.Solver.CDCL
- ToySolver.SAT.Solver.CDCL.Config
- ToySolver.SAT.Solver.MessagePassing.SurveyPropagation
- ToySolver.SAT.Solver.MessagePassing.SurveyPropagation.OpenCL
- ToySolver.SAT.Solver.SLS.ProbSAT
- ToySolver.SAT.Solver.SLS.UBCSAT
- ToySolver.SAT.Store.CNF
- ToySolver.SAT.Store.PB
- ToySolver.SAT.TheorySolver
- ToySolver.SAT.Types
- ToySolver.SDP
- ToySolver.SMT
- ToySolver.Text.SDPFile
- ToySolver.Version
- ToySolver.Wang
Dependencies
- MIP lib:MIP >=0.1.1.0 && <0.2
- OpenCL lib:OpenCL >=1.0.3.4
- OptDir lib:OptDir >=0
- array lib:array >=0.5
- base lib:base >=4.12 && <4.19
- bytestring lib:bytestring >=0.9.2.1 && <0.12
- bytestring-builder lib:bytestring-builder >=0
- bytestring-encoding lib:bytestring-encoding >=0.1.1.0
- case-insensitive lib:case-insensitive >=0
- clock lib:clock >=0.7.1
- containers lib:containers >=0.5.8
- data-default lib:data-default >=0
- data-default-class lib:data-default-class >=0
- data-interval lib:data-interval >=2.0.1 && <2.2.0
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- extended-reals lib:extended-reals >=0.1 && <1.0
- filepath lib:filepath >=0
- finite-field lib:finite-field >=0.9.0 && <1.0.0
- ghc-prim lib:ghc-prim >=0
- hashable lib:hashable >=1.2 && <1.5.0.0
- hashtables lib:hashtables >=0
- heaps lib:heaps >=0
- intern lib:intern >=0.9.1.2 && <1.0.0.0
- lattices lib:lattices >=0
- log-domain lib:log-domain >=0
- loop lib:loop >=0.3.0 && <1.0.0
- megaparsec lib:megaparsec >=7 && <10
- mtl lib:mtl >=2.1.2
- multiset lib:multiset >=0
- mwc-random lib:mwc-random >=0.13.1 && <0.16
- pretty lib:pretty >=1.1.2.0 && <1.2
- primes lib:primes >=0
- primitive lib:primitive >=0.6
- process lib:process >=1.1.0.2
- pseudo-boolean lib:pseudo-boolean >=0.1.3.0 && <0.2.0.0
- queue lib:queue >=0
- scientific lib:scientific >=0
- semigroups lib:semigroups >=0.17
- sign lib:sign >=0.2.0 && <1.0.0
- stm lib:stm >=2.3
- template-haskell lib:template-haskell >=0
- temporary lib:temporary >=1.2
- text lib:text >=1.1.0.0
- time lib:time >=1.5.0
- transformers lib:transformers >=0.2
- transformers-compat lib:transformers-compat >=0.3
- unordered-containers lib:unordered-containers >=0.2.3 && <0.3.0
- vector lib:vector >=0.11
- vector-space lib:vector-space >=0.8.6
- xml-conduit lib:xml-conduit >=0
- zlib lib:zlib >=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