Here is a list of all namespace variables with links to the namespace documentation for each variable:

### - b -

- biasedITERemoval : CVC4::options
- binary_name : CVC4::options
- bitblastMode : CVC4::options
- bitvectorAig : CVC4::options
- bitvectorAigSimplifications : CVC4::options
- bitvectorAlgebraicBudget : CVC4::options
- bitvectorAlgebraicSolver : CVC4::options
- bitvectorDivByZeroConst : CVC4::options
- bitvectorEqualitySlicer : CVC4::options
- bitvectorEqualitySolver : CVC4::options
- bitvectorInequalitySolver : CVC4::options
- bitvectorPropagate : CVC4::options
- bitvectorQuickXplain : CVC4::options
- bitvectorToBool : CVC4::options
- booleanTermConversionMode : CVC4::options
- bvAbstraction : CVC4::options
- BVCONST : CVC3
- bvEagerExplanations : CVC4::options
- BVGE : CVC3
- BVGT : CVC3
- bvIntroducePow2 : CVC4::options
- BVLE : CVC3
- BVLT : CVC3
- bvNumFunc : CVC4::options
- BVPLUS : CVC3
- BVSUB : CVC3