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