| BackwardTransformer | ToySolver.Converter.Base, ToySolver.Converter.PB, ToySolver.Converter |
| Base | ToySolver.SAT.Encoder.PB.Internal.Sorter |
| basis | ToySolver.Data.Polynomial.GroebnerBasis |
| basis' | ToySolver.Data.Polynomial.GroebnerBasis |
| basisOfBerlekampSubalgebra | ToySolver.Data.Polynomial.Factorization.FiniteField |
| BC | ToySolver.SAT.PBO |
| BCClause | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| BCCNF | |
| 1 (Type/Class) | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| 2 (Data Constructor) | ToySolver.SAT.Encoder.PB |
| BCD | ToySolver.SAT.PBO |
| BCD2 | ToySolver.SAT.PBO |
| BCLit | ToySolver.SAT.Encoder.PB.Internal.BCCNF |
| BDD | ToySolver.SAT.Encoder.PB |
| bellmanFord | ToySolver.Graph.ShortestPath |
| bellmanFordDetectNegativeCycle | ToySolver.Graph.ShortestPath |
| berlekamp | ToySolver.Data.Polynomial.Factorization.FiniteField |
| BinarySearch | ToySolver.SAT.PBO |
| Block | ToySolver.Text.SDPFile |
| blockElem | ToySolver.Text.SDPFile |
| blockStruct | ToySolver.Text.SDPFile |
| Boolean | ToySolver.Data.Boolean, ToySolver.Data.FOL.Formula, ToySolver.Data.FOL.Arith |
| BoolExpr | ToySolver.Data.BoolExpr |
| Bound | ToySolver.Arith.Simplex |
| boundExplanation | ToySolver.Arith.Simplex |
| Bounds | ToySolver.Arith.FourierMotzkin.Base |
| BoundsEnv | ToySolver.Data.LA, ToySolver.Arith.BoundsInference |
| boundsToConstrs | ToySolver.Arith.FourierMotzkin.Base |
| boundValue | ToySolver.Arith.Simplex |
| BranchingERWA | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| BranchingLRB | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| BranchingStrategy | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| BranchingVSIDS | ToySolver.SAT.Solver.CDCL.Config, ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| BudgetExceeded | |
| 1 (Type/Class) | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| 2 (Data Constructor) | ToySolver.SAT.Solver.CDCL, ToySolver.SAT |
| buildDSDPMaxCutGraph | ToySolver.Graph.MaxCut |
| buildDSDPMaxCutGraph' | ToySolver.Graph.MaxCut |
| BV | ToySolver.BitVector.Base, ToySolver.BitVector |
| bv2nat | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvadd | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvand | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvashr | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvcomp | ToySolver.BitVector.Base, ToySolver.BitVector |
| BVComparison | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvlshr | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvmul | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvnand | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvneg | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvnor | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvnot | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvor | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvsdiv | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvsge | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvsgt | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvshl | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvsle | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvslt | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvsmod | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvsrem | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvsub | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvudiv | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvuge | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvugt | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvule | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvult | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvurem | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvxnor | ToySolver.BitVector.Base, ToySolver.BitVector |
| bvxor | ToySolver.BitVector.Base, ToySolver.BitVector |