Modes 

namespace cvc5 :: modes 

Enums

enum BlockModelsMode 

Mode for blocking models.

Specifies how models are blocked in Solver::blockModel and Solver::blockModelValues .

Values:

enumerator LITERALS 

Block models based on the SAT skeleton.

enumerator VALUES 

Block models based on the concrete model values for the free variables.