You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$./z3 model_validate=true smt.arith.solver=6 delta.out.smt2
sat
(error "line 8 column 10: an invalid model was generated")
$./z3 model_validate=true smt.arith.solver=2 delta.out.smt2
unknown
The text was updated successfully, but these errors were encountered:
Hi, for the formula below,
z3 05c5f72
The text was updated successfully, but these errors were encountered: