Constant rsmt2::conf::CVC4_ENV_VAR

source · [−]
pub const CVC4_ENV_VAR: &'static str = "RSMT2_CVC4_CMD";
Expand description

Environment variable providing the command for CVC4.