diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-07-02 16:54:10 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-07-02 16:54:10 +0200 |
commit | 69769dae4886621f82c2905b82db727bf2e8cf3f (patch) | |
tree | fde0dfe43acb6fc7f0f07251de91db6ed8c2a148 /src/theory/theory_model.cpp | |
parent | d475d255f3c61380524517cd9b97725dcb0c9c22 (diff) |
On-demand upper bound lemmas for deltas in quantified LRA (for casc). Force no macros-quant in incremental. Update casc TFN script.
Diffstat (limited to 'src/theory/theory_model.cpp')
0 files changed, 0 insertions, 0 deletions