diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 11:12:11 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 11:12:26 -0500 |
| commit | 86b54ede8a2898a6c51fddd4bb32f8b4b87b5da6 (patch) | |
| tree | 989d5595bb52ba2e9cff08e9dd27ccf65e3b0997 /examples/api/java/Combination.java | |
| parent | dd7e0c66cab285c154f59ff27132059c34e09e23 (diff) | |
Incremental is now on by default when using from API, off for command-line driver except in interactive mode.
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"); |