diff options
Diffstat (limited to 'src/smt/options')
-rw-r--r-- | src/smt/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/options b/src/smt/options index ab903c951..a3038cd4e 100644 --- a/src/smt/options +++ b/src/smt/options @@ -46,6 +46,9 @@ 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 + apply sort inference to input problem + common-option incrementalSolving incremental -i --incremental bool enable incremental solving |