diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-09-27 09:27:19 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-09-27 09:27:29 -0500 |
| commit | e277b4d220a1d15ac32f6e4fc5f06e88f55b7f68 (patch) | |
| tree | 2a56691dea81453e5f9ba42e859fdc6783fa1545 /src/smt/options | |
| parent | ccd1ca4c32e8a3eac8b18911a7b2d32b55203707 (diff) | |
Add new symmetry breaking technique for finite model finding. Improvements to bounded integer quantifier instantiation.
Diffstat (limited to 'src/smt/options')
| -rw-r--r-- | src/smt/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/options b/src/smt/options index f39662c10..7a72881b4 100644 --- a/src/smt/options +++ b/src/smt/options @@ -48,7 +48,7 @@ option unconstrainedSimp --unconstrained-simp bool :default false :read-write option repeatSimp --repeat-simp bool :read-write make multiple passes with nonclausal simplifier -option sortInference --sort-inference bool :default false +option sortInference --sort-inference bool :read-write :default false apply sort inference to input problem common-option incrementalSolving incremental -i --incremental bool |