Index - B
| basis | ToySolver.Data.Polynomial.GroebnerBasis |
| basis' | ToySolver.Data.Polynomial.GroebnerBasis |
| basisOfBerlekampSubalgebra | ToySolver.Data.Polynomial.Factorization.FiniteField |
| BC | ToySolver.SAT.PBO |
| BCD | ToySolver.SAT.PBO |
| BCD2 | ToySolver.SAT.PBO |
| 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 |
| BoundExpr | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| Bounds | |
| 1 (Type/Class) | ToySolver.Data.MIP.Base, ToySolver.Data.MIP |
| 2 (Type/Class) | ToySolver.Arith.FourierMotzkin.Base |
| BoundsEnv | ToySolver.Data.LA, ToySolver.Arith.BoundsInference |
| boundsToConstrs | ToySolver.Arith.FourierMotzkin.Base |
| BudgetExceeded | |
| 1 (Type/Class) | ToySolver.SAT |
| 2 (Data Constructor) | ToySolver.SAT |