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

### - s -

- sat_refine_conflicts : CVC4::options
- satClauseDecay : CVC4::options
- satRandomFreq : CVC4::options
- satRandomSeed : CVC4::options
- satRestartFirst : CVC4::options
- satRestartInc : CVC4::options
- satVarDecay : CVC4::options
- segvSpin : CVC4::options
- semanticChecks : CVC4::options
- setsEagerLemmas : CVC4::options
- setsPropagate : CVC4::options
- sharingFilterByLength : CVC4::options
- simpleIteLiftQuant : CVC4::options
- simplificationMode : CVC4::options
- simplifyWithCareEnabled : CVC4::options
- skolemizeArguments : CVC4::options
- smartTriggers : CVC4::options
- soiApproxMajorFailure : CVC4::options
- soiApproxMajorFailurePen : CVC4::options
- soiApproxMinorFailure : CVC4::options
- soiApproxMinorFailurePen : CVC4::options
- soiQuickExplain : CVC4::options
- sortInference : CVC4::options
- statistics : CVC4::options
- statsEveryQuery : CVC4::options
- statsHideZeros : CVC4::options
- strictParsing : CVC4::options
- stringCharCardinality : CVC4::options
- stringEIT : CVC4::options
- stringExp : CVC4::options
- stringFMF : CVC4::options
- stringLB : CVC4::options
- stringOpt1 : CVC4::options
- stringOpt2 : CVC4::options