toysolver-0.5.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
satPrintModelToySolver.SAT.Printer
SatResultToySolver.Data.FOL.Arith
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
setCCMinToySolver.SAT
setCheckModelToySolver.SAT
setConfBudgetToySolver.SAT
setConfigToySolver.SAT
setEnableBackwardSubsumptionRemovalToySolver.SAT
setEnableForwardSubsumptionRemovalToySolver.SAT
setEnableObjFunVarsHeuristicsToySolver.SAT.PBO
setEnablePhaseSavingToySolver.SAT
setEncodingChar8ToySolver.Internal.Util
setFinishedToySolver.SAT.PBO.Context
setGlobalDeclarationsToySolver.SMT
setIterationLimitToySolver.SAT.MessagePassing.SurveyPropagation
setLearningStrategyToySolver.SAT
setLearntSizeFirstToySolver.SAT
setLearntSizeIncToySolver.SAT
setLogger 
1 (Function)ToySolver.SAT.PBO.Context
2 (Function)ToySolver.SAT
3 (Function)ToySolver.SAT.PBO
4 (Function)ToySolver.Arith.Simplex
5 (Function)ToySolver.Arith.MIP
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.SAT.PBO.Context
2 (Function)ToySolver.SAT.PBO
3 (Function)ToySolver.Arith.MIP
setOnUpdateLowerBound 
1 (Function)ToySolver.SAT.PBO.Context
2 (Function)ToySolver.SAT.PBO
setOptDirToySolver.Arith.Simplex
setPBHandlerTypeToySolver.SAT
setPBSplitClausePartToySolver.SAT
setPivotStrategyToySolver.Arith.Simplex
setRandomFreqToySolver.SAT
setRandomGenToySolver.SAT
setRestartFirstToySolver.SAT
setRestartIncToySolver.SAT
setRestartStrategyToySolver.SAT
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
showAtomToySolver.Data.LA
showBranchingStrategyToySolver.SAT.Config, ToySolver.SAT
showEntityToySolver.EUF.FiniteModelFinder
showExprToySolver.Data.LA
showLearningStrategyToySolver.SAT.Config, ToySolver.SAT
showMethod 
1 (Function)ToySolver.SAT.MUS
2 (Function)ToySolver.SAT.PBO
3 (Function)ToySolver.SAT.MUS.Enum
showModelToySolver.EUF.FiniteModelFinder
showOpToySolver.Data.OrdRel, ToySolver.Data.FOL.Arith, ToySolver.Data.LA, ToySolver.BitVector.Base, ToySolver.BitVector
showPBHandlerTypeToySolver.SAT.Config, ToySolver.SAT
showRationalToySolver.Internal.Util
showRationalAsFiniteDecimalToySolver.Internal.Util
showRestartStrategyToySolver.SAT.Config, ToySolver.SAT
showValueToySolver.Arith.Simplex
shrinkToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA
signExtendToySolver.BitVector.Base, ToySolver.BitVector
simpARealPolyToySolver.Data.AlgebraicNumber.Real
SimpleAtomToySolver.Arith.DifferenceLogic
SimpleContextToySolver.SAT.PBO.Context
SimpleProblem 
1 (Type/Class)ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA
2 (Data Constructor)ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.MARCO, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA
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
SingletonToySolver.Graph.ShortestPath
SMTLIB2ToySolver.Converter.MIP2SMT
solObjectiveValueToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP
solStatusToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP
Solution 
1 (Type/Class)ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP
2 (Data Constructor)ToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP
solVariablesToySolver.Data.MIP.Base, ToySolver.Data.MIP, ToySolver.Data.MIP.Solution.CBC, ToySolver.Data.MIP.Solution.CPLEX, ToySolver.Data.MIP.Solution.GLPK, ToySolver.Data.MIP.Solution.Gurobi, ToySolver.Data.MIP.Solution.SCIP
solve 
1 (Function)ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
2 (Function)ToySolver.SAT
3 (Function)ToySolver.QBF
4 (Function)ToySolver.SAT.PBO.BC
5 (Function)ToySolver.SAT.PBO.BCD
6 (Function)ToySolver.SAT.PBO.BCD2
7 (Function)ToySolver.SAT.PBO.MSU4
8 (Function)ToySolver.SAT.PBO.UnsatBased
9 (Function)ToySolver.Combinatorial.Knapsack.DPSparse
10 (Function)ToySolver.Combinatorial.Knapsack.DPDense
11 (Function)ToySolver.Combinatorial.Knapsack.BB
12 (Function)ToySolver.Arith.VirtualSubstitution
13 (Function)ToySolver.Arith.FourierMotzkin.Base, ToySolver.Arith.FourierMotzkin
14 (Function)ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest
15 (Function)ToySolver.Arith.DifferenceLogic
16 (Function)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
17 (Function)ToySolver.Arith.CAD
18 (Function)ToySolver.Arith.ContiTraverso
19 (Function)ToySolver.Arith.Simplex.Textbook.LPSolver.Simple
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
solveQFFormula 
1 (Function)ToySolver.Arith.VirtualSubstitution
2 (Function)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
solveQFLIRAConj 
1 (Function)ToySolver.Arith.OmegaTest.Base, ToySolver.Arith.OmegaTest
2 (Function)ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
Solver 
1 (Type/Class)ToySolver.EUF.CongruenceClosure
2 (Type/Class)ToySolver.EUF.EUFSolver
3 (Type/Class)ToySolver.SAT.MessagePassing.SurveyPropagation
4 (Type/Class)ToySolver.SAT
5 (Type/Class)ToySolver.BitVector.Solver, ToySolver.BitVector
6 (Type/Class)ToySolver.Arith.Simplex
7 (Type/Class)ToySolver.SMT
8 (Type/Class)ToySolver.Arith.MIP
9 (Type/Class)ToySolver.Arith.Simplex.Textbook.LPSolver
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
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
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
SturmChainToySolver.Data.AlgebraicNumber.Sturm
sturmChainToySolver.Data.AlgebraicNumber.Sturm
subsetSumToySolver.Combinatorial.SubsetSum
substToySolver.Data.Polynomial
SugarStrategyToySolver.Data.Polynomial.GroebnerBasis