Expand description
Solver configuration, contains backend-solver-specific info.
Do NOT use wildcards when matching over SmtStyle
. We want the code to fail to compile
whenever we add a solver. Likewise, do not use if let
with SmtStyle
.
Note that the command for each solver can be passed through environment variables, see
Z3_ENV_VAR
,CVC4_ENV_VAR
,YICES_2_ENV_VAR
, and- the
SmtConf::z3_or_env
,SmtConf::cvc4_or_env
, andSmtConf::yices_2_or_env
constructors.
Structs
Configuration and solver specific info.
Enums
Solver styles.
Constants
Environment variable providing the command for CVC4.
Environment variable providing the command for Yices 2.
Environment variable providing the command for z3.
Type Definitions
A configuration item is either a keyword or unsupported.