Here is a list of all namespace enums with links to the namespace documentation for each enum:

- ArithPropagationMode : CVC4
- ArithUnateLemmaMode : CVC4
- BenchmarkStatus : CVC4
- CLFlagType : CVC3
- CVC3CardinalityKind : CVC3
- DeclarationCheck : CVC4::parser
- ErrorSelectionRule : CVC4
- FormulaValue : CVC3
- InstFormatMode : CVC4
- Kind_t : CVC4::kind
- Language : CVC4::language::input, CVC4::language::output
- ModelFormatMode : CVC4
- OutputChannelCallType : CVC4::theory
- QueryResult : CVC3
- SimplificationMode : CVC4
- SymbolType : CVC4::parser
- TheoryId : CVC4::theory
- TheoryOfMode : CVC4::theory
- TypeConstant : CVC4