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

### - c -

- cbqi : CVC4::options
- checkModels : CVC4::options
- checkProofs : CVC4::options
- clauseSplit : CVC4::options
- cnfQuant : CVC4::options
- collectPivots : CVC4::options
- compressItes : CVC4::options
- CONCAT : CVC3
- condenseFunctionValues : CVC4::options
- continuedExecution : CVC4::options
- cumulativeMillisecondLimit : CVC4::options
- cumulativeResourceLimit : CVC4::options