diff options
Diffstat (limited to 'examples/api/java/LinearArith.java')
| -rw-r--r-- | examples/api/java/LinearArith.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/api/java/LinearArith.java b/examples/api/java/LinearArith.java index f03dc7f85..582c2ab21 100644 --- a/examples/api/java/LinearArith.java +++ b/examples/api/java/LinearArith.java @@ -24,8 +24,7 @@ public class LinearArith { ExprManager em = new ExprManager(); SmtEngine smt = new SmtEngine(em); - smt.setOption("incremental", new SExpr(true)); // Enable incremental solving - smt.setLogic("QF_LIRA"); // Set the logic + smt.setLogic("QF_LIRA"); // Set the logic // Prove that if given x (Integer) and y (Real) then // the maximum value of y - x is 2/3 |