rsmt2::conf
pub const YICES_2_ENV_VAR: &str = "RSMT2_YICES_2_CMD";
Environment variable providing the command for Yices 2.