Constant rsmt2::conf::CVC4_ENV_VAR

pub const CVC4_ENV_VAR: &str = "RSMT2_CVC4_CMD";

Environment variable providing the command for CVC4.