diff options
Diffstat (limited to 'examples/api/java/Combination.java')
| -rw-r--r-- | examples/api/java/Combination.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/api/java/Combination.java b/examples/api/java/Combination.java index 283e24a5f..b529f6316 100644 --- a/examples/api/java/Combination.java +++ b/examples/api/java/Combination.java @@ -41,7 +41,6 @@ public class Combination { smt.setOption("tlimit", new SExpr(100)); smt.setOption("produce-models", new SExpr(true)); // Produce Models - smt.setOption("incremental", new SExpr(true)); // Enable Multiple Queries smt.setOption("output-language", new SExpr("cvc4")); // output-language smt.setOption("default-dag-thresh", new SExpr(0)); //Disable dagifying the output smt.setLogic("QF_UFLIRA"); |