toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

Index - S

S1ToySolver.Data.MIP.Base, ToySolver.Data.MIP
S2ToySolver.Data.MIP.Base, ToySolver.Data.MIP
SatToySolver.Data.FOL.Arith
sat2ipToySolver.Converter.PB2IP, ToySolver.Converter
SAT2IPInfoToySolver.Converter.PB2IP, ToySolver.Converter
sat2ksatToySolver.Converter.SAT2KSAT, ToySolver.Converter
SAT2KSATInfo 
1 (Type/Class)ToySolver.Converter.SAT2KSAT, ToySolver.Converter
2 (Data Constructor)ToySolver.Converter.SAT2KSAT, ToySolver.Converter
sat2maxcutToySolver.Converter.SAT2MaxCut, ToySolver.Converter
SAT2MaxCutInfoToySolver.Converter.SAT2MaxCut, ToySolver.Converter
sat2naesatToySolver.Converter.NAESAT, ToySolver.Converter
SAT2NAESATInfo 
1 (Type/Class)ToySolver.Converter.NAESAT, ToySolver.Converter
2 (Data Constructor)ToySolver.Converter.NAESAT, ToySolver.Converter
sat2pbToySolver.Converter.PB, ToySolver.Converter
SAT2PBInfoToySolver.Converter.PB, ToySolver.Converter
sat3ToMaxSAT2ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
SAT3ToMaxSAT2Info 
1 (Type/Class)ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
2 (Data Constructor)ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
satPrintModelToySolver.SAT.Printer
SatResultToySolver.Data.FOL.Arith
satToMaxSAT2ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
SATToMaxSAT2InfoToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
satToSimpleMaxCutToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
SATToSimpleMaxCutInfoToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
sBitVecToySolver.SMT
sBoolToySolver.SMT
SCIP 
1 (Type/Class)ToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver
2 (Data Constructor)ToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver
scipToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver
scipPathToySolver.Data.MIP.Solver.SCIP, ToySolver.Data.MIP.Solver
SemiContinuousVariableToySolver.Data.MIP.Base, ToySolver.Data.MIP
semiContinuousVariablesToySolver.Data.MIP.Base, ToySolver.Data.MIP
SemiIntegerVariableToySolver.Data.MIP.Base, ToySolver.Data.MIP
semiIntegerVariablesToySolver.Data.MIP.Base, ToySolver.Data.MIP
separateToySolver.Data.AlgebraicNumber.Sturm
separate'ToySolver.Data.AlgebraicNumber.Sturm
SeqQueueToySolver.Internal.Data.SeqQueue
SequentToySolver.Wang
setConfBudgetToySolver.SAT
setConfig 
1 (Function)ToySolver.Arith.Simplex
2 (Function)ToySolver.SAT
setEnableObjFunVarsHeuristicsToySolver.SAT.PBO
setEncodingChar8ToySolver.Internal.Util
setFinishedToySolver.SAT.PBO.Context
setGlobalDeclarationsToySolver.SMT
setIterationLimitToySolver.SAT.MessagePassing.SurveyPropagation
setLogger 
1 (Function)ToySolver.Arith.Simplex
2 (Function)ToySolver.Arith.MIP
3 (Function)ToySolver.SAT.PBO.Context
4 (Function)ToySolver.SAT
5 (Function)ToySolver.SAT.PBO
setMethodToySolver.SAT.PBO
setNThreadToySolver.Arith.MIP
setNThreadsToySolver.SAT.MessagePassing.SurveyPropagation
setObj 
1 (Function)ToySolver.Converter.PBSetObj
2 (Function)ToySolver.Arith.Simplex
setObjFunToySolver.Arith.Simplex.Textbook
setOnUpdateBestSolution 
1 (Function)ToySolver.Arith.MIP
2 (Function)ToySolver.SAT.PBO.Context
3 (Function)ToySolver.SAT.PBO
setOnUpdateLowerBound 
1 (Function)ToySolver.SAT.PBO.Context
2 (Function)ToySolver.SAT.PBO
setOptDirToySolver.Arith.Simplex
setPivotStrategyToySolver.Arith.Simplex
setRandomGen 
1 (Function)ToySolver.SAT
2 (Function)ToySolver.SAT.SLS.ProbSAT
setShowRationalToySolver.Arith.MIP
setTheoryToySolver.SAT
setToleranceToySolver.SAT.MessagePassing.SurveyPropagation
setTrialLimitConfToySolver.SAT.PBO
setUnsatToySolver.SAT.PBO.Context
setUsePBToySolver.SAT.Encoder.Tseitin
setVarPolarityToySolver.SAT
shortestImplicantsToySolver.SAT.ExistentialQuantification
shortestImplicantsEToySolver.SAT.ExistentialQuantification
showAtomToySolver.Data.LA
showBranchingStrategyToySolver.SAT.Config, ToySolver.SAT
showEntityToySolver.EUF.FiniteModelFinder
showExprToySolver.Data.LA
showLearningStrategyToySolver.SAT.Config, ToySolver.SAT
showMethod 
1 (Function)ToySolver.SAT.PBO
2 (Function)ToySolver.SAT.MUS
3 (Function)ToySolver.SAT.MUS.Enum
showModelToySolver.EUF.FiniteModelFinder
showOpToySolver.Data.OrdRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.BitVector.Base, ToySolver.BitVector
showPBHandlerTypeToySolver.SAT.Config, ToySolver.SAT
showPivotStrategyToySolver.Arith.Simplex
showRationalToySolver.Internal.Util
showRationalAsFiniteDecimalToySolver.Internal.Util
showRestartStrategyToySolver.SAT.Config, ToySolver.SAT
showValueToySolver.Arith.Simplex
shrinkToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
signExtendToySolver.BitVector.Base, ToySolver.BitVector
simpARealPolyToySolver.Data.AlgebraicNumber.Real
SimpleAtomToySolver.Arith.DifferenceLogic
SimpleContextToySolver.SAT.PBO.Context
SimpleMaxSAT2ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
simpleMaxSAT2ToSimpleMaxCutToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
SimpleMaxSAT2ToSimpleMaxCutInfo 
1 (Type/Class)ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
2 (Data Constructor)ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
SimpleProblem 
1 (Type/Class)ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
2 (Data Constructor)ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
simplex 
1 (Function)ToySolver.Arith.Simplex.Textbook
2 (Function)ToySolver.Arith.Simplex.Textbook.LPSolver
simplify 
1 (Function)ToySolver.Data.BoolExpr
2 (Function)ToySolver.Arith.FourierMotzkin.Base
simplifyAtomToySolver.Arith.Simplex
simplifyMaxSAT2ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
SimplifyMaxSAT2Info 
1 (Type/Class)ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
2 (Data Constructor)ToySolver.Converter.SAT2MaxSAT, ToySolver.Converter
SingletonToySolver.Graph.ShortestPath
SMTLIB2ToySolver.Converter.MIP2SMT
solObjectiveValueToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC
solStatusToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC
Solution 
1 (Type/Class)ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC
2 (Data Constructor)ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC
3 (Type/Class)ToySolver.MaxCut
4 (Type/Class)ToySolver.QUBO
5 (Type/Class)ToySolver.Text.SDPFile
6 (Data Constructor)ToySolver.Text.SDPFile
solVariablesToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.SCIP, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.CBC
solve 
1 (Function)ToySolver.Combinatorial.Knapsack.BB
2 (Function)ToySolver.Combinatorial.Knapsack.DPDense
3 (Function)ToySolver.Combinatorial.Knapsack.DPSparse
4 (Function)ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
5 (Function)ToySolver.Arith.VirtualSubstitution
6 (Function)ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin
7 (Function)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
8 (Function)ToySolver.Arith.CAD
9 (Function)ToySolver.Arith.DifferenceLogic
10 (Function)ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest
11 (Function)ToySolver.Arith.Simplex.Textbook.LPSolver.Simple
12 (Function)ToySolver.Arith.ContiTraverso
13 (Function)ToySolver.SAT
14 (Function)ToySolver.SAT.PBO.UnsatBased
15 (Function)ToySolver.SAT.PBO.MSU4
16 (Function)ToySolver.SAT.PBO.BCD2
17 (Function)ToySolver.SAT.PBO.BCD
18 (Function)ToySolver.SAT.PBO.BC
19 (Function)ToySolver.QBF
solve' 
1 (Function)ToySolver.Arith.FourierMotzkin.Base
2 (Function)ToySolver.Arith.CAD
3 (Function)ToySolver.Arith.ContiTraverso
solveCEGARToySolver.QBF
solveCEGARIncrementalToySolver.QBF
solveErrorLoggerToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
solveForToySolver.Data.LA
solveFormula 
1 (Function)ToySolver.Arith.FourierMotzkin.FOL, ToySolver.Arith.FourierMotzkin
2 (Function)ToySolver.Arith.Cooper.FOL, ToySolver.Arith.Cooper
solveGenericToySolver.Combinatorial.Knapsack.DPSparse
solveIntToySolver.Combinatorial.Knapsack.DPSparse
solveIntegerToySolver.Combinatorial.Knapsack.DPSparse
solveLoggerToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
solveNaiveToySolver.QBF
SolveOptions 
1 (Type/Class)ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
2 (Data Constructor)ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
solveQEToySolver.QBF
solveQE_CNFToySolver.QBF
solveQFFormula 
1 (Function)ToySolver.Arith.VirtualSubstitution
2 (Function)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
solveQFLIRAConj 
1 (Function)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
2 (Function)ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest
Solver 
1 (Type/Class)ToySolver.EUF.CongruenceClosure
2 (Type/Class)ToySolver.EUF.EUFSolver
3 (Type/Class)ToySolver.Arith.Simplex
4 (Type/Class)ToySolver.Arith.MIP
5 (Type/Class)ToySolver.Arith.Simplex.Textbook.LPSolver
6 (Type/Class)ToySolver.SAT.MessagePassing.SurveyPropagation
7 (Type/Class)ToySolver.SAT
8 (Type/Class)ToySolver.BitVector.Solver, ToySolver.BitVector
9 (Type/Class)ToySolver.SAT.SLS.ProbSAT
10 (Type/Class)ToySolver.SMT
SolverValueToySolver.Arith.Simplex
solveTimeLimitToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
solveWithToySolver.SAT
Sort 
1 (Type/Class)ToySolver.SMT
2 (Data Constructor)ToySolver.SMT
SorterToySolver.SAT.Encoder.PB
sortVectorToySolver.SAT.Encoder.PB.Internal.Sorter
sosBodyToySolver.Data.MIP.Base, ToySolver.Data.MIP
SOSConstraint 
1 (Type/Class)ToySolver.Data.MIP.Base, ToySolver.Data.MIP
2 (Data Constructor)ToySolver.Data.MIP.Base, ToySolver.Data.MIP
sosConstraintsToySolver.Data.MIP.Base, ToySolver.Data.MIP
sosLabelToySolver.Data.MIP.Base, ToySolver.Data.MIP
SOSTypeToySolver.Data.MIP.Base, ToySolver.Data.MIP
sosTypeToySolver.Data.MIP.Base, ToySolver.Data.MIP
SourceToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter
SourceObjValueToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter
spolynomialToySolver.Data.Polynomial.GroebnerBasis
SQFreeToySolver.Data.Polynomial
sqfree 
1 (Function)ToySolver.Data.Polynomial
2 (Function)ToySolver.Data.Polynomial.Factorization.FiniteField
sqfreeChar0ToySolver.Data.Polynomial.Factorization.SquareFree
sRealToySolver.SMT
SSToySolver.SAT.MUS.Types, ToySolver.SAT.MUS, ToySolver.SAT.MUS.Enum
SSymToySolver.SMT
ssymArityToySolver.SMT
SSymBitVecToySolver.SMT
SSymBoolToySolver.SMT
SSymRealToySolver.SMT
SSymUninterpretedToySolver.SMT
statFlipsToySolver.SAT.SLS.ProbSAT
statFlipsPerSecondToySolver.SAT.SLS.ProbSAT
Statistics 
1 (Type/Class)ToySolver.SAT.SLS.ProbSAT
2 (Data Constructor)ToySolver.SAT.SLS.ProbSAT
statTotalCPUTimeToySolver.SAT.SLS.ProbSAT
StatusToySolver.Data.MIP.Base, ToySolver.Data.MIP
StatusFeasibleToySolver.Data.MIP.Base, ToySolver.Data.MIP
StatusInfeasibleToySolver.Data.MIP.Base, ToySolver.Data.MIP
StatusInfeasibleOrUnboundedToySolver.Data.MIP.Base, ToySolver.Data.MIP
StatusOptimalToySolver.Data.MIP.Base, ToySolver.Data.MIP
StatusUnboundedToySolver.Data.MIP.Base, ToySolver.Data.MIP
StatusUnknownToySolver.Data.MIP.Base, ToySolver.Data.MIP
Strategy 
1 (Type/Class)ToySolver.Data.Polynomial.GroebnerBasis
2 (Type/Class)ToySolver.SAT.Encoder.PB
3 (Type/Class)ToySolver.SAT.Encoder.Cardinality
SturmChainToySolver.Data.AlgebraicNumber.Sturm
sturmChainToySolver.Data.AlgebraicNumber.Sturm
subsetSumToySolver.Combinatorial.SubsetSum
substToySolver.Data.Polynomial
SugarStrategyToySolver.Data.Polynomial.GroebnerBasis