pub fn check_sat(expr: &VerifyExpr) -> boolExpand description
Check if a formula is satisfiable (public, creates its own Z3 context).
pub fn check_sat(expr: &VerifyExpr) -> boolCheck if a formula is satisfiable (public, creates its own Z3 context).