pub const CVC4_ENV_VAR: &str = "RSMT2_CVC4_CMD";
Environment variable providing the command for CVC4.