rsmt2::conf
pub const Z3_ENV_VAR: &str = "RSMT2_Z3_CMD";
Environment variable providing the command for z3.