diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-11-12 16:46:51 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-11-12 16:46:51 +0000 |
| commit | 0ba075e240b2083163ab35a3580547cae6927b6c (patch) | |
| tree | 47be765d608aff213ee58749adab458f315fcf89 /src/smt/options | |
| parent | 341794b1cbd5693010c78b9f5bfe232ee90404b0 (diff) | |
minor bug fixes for quantifiers, added sort inference module (not ready to be used yet), added new totality lemma option for uf strong solver
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 |