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

### - u -

- ufssAbortCardinality : CVC4::options
- ufssCliqueSplits : CVC4::options
- ufssDiseqPropagation : CVC4::options
- ufssEagerSplits : CVC4::options
- ufssExplainedCliques : CVC4::options
- ufssFairness : CVC4::options
- ufssMinimalModel : CVC4::options
- ufssRegions : CVC4::options
- ufssSimpleCliques : CVC4::options
- ufssSymBreak : CVC4::options
- ufssTotality : CVC4::options
- ufssTotalityLimited : CVC4::options
- ufssTotalitySymBreak : CVC4::options
- ufSymmetryBreaker : CVC4::options
- unconstrainedSimp : CVC4::options
- unsatCores : CVC4::options
- useApprox : CVC4::options
- useFC : CVC4::options
- userPatternsQuant : CVC4::options
- useSOI : CVC4::options