| biMapFromSBV | Grisette.Backend.SBV.Data.SMT.SymBiMap |
| biMapToSBV | Grisette.Backend.SBV.Data.SMT.SymBiMap |
| BinaryCommPartialStrategy | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| BinaryOp | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| binaryPartial | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| BinaryPartialStrategy | Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval, Grisette.Internal.IR.SymPrim |
| BinaryTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| BinaryTermPatt | Grisette.IR.SymPrim.Data.Prim.Helpers, Grisette.Internal.IR.SymPrim |
| binaryUnfoldOnce | Grisette.IR.SymPrim.Data.Prim.PartialEval.Unfold, Grisette.Internal.IR.SymPrim |
| BitsConTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bits |
| BoolConTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool, Grisette.Internal.IR.SymPrim |
| boolector | Grisette.Backend.SBV, Grisette |
| BoolTerm | Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool, Grisette.Internal.IR.SymPrim |
| BoundedReasoning | Grisette.Backend.SBV.Data.SMT.Solving, Grisette.Backend.SBV, Grisette |
| buildModel | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| buildStrategyList | Grisette.Core.Data.Class.Mergeable, Grisette.Core, Grisette |
| buildSymbolSet | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| BVConcat | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvconcat | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| BVConcatTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| bvconcatTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| BVExtend | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvextend | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| BVExtendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| bvextendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| bvextract | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| BVSelect | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvselect | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| BVSelectTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| bvselectTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| bvsignExtend | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvsignExtendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |
| bvzeroExtend | Grisette.Core.Data.Class.BitVector, Grisette.Core, Grisette |
| bvzeroExtendTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |