diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-11-17 16:41:56 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-11-17 16:42:10 +0100 |
commit | 6c49fe8691cf011237be30f4062affc79d8a5314 (patch) | |
tree | 43de311707603716902815226840083ee26e1749 /src/theory/example | |
parent | 304f3d632766a445b9e2fb9dd617b2c2cfd50fb2 (diff) |
Improve relevant domain computation for arithmetic, full saturation strategy. Simply E-matching trigger selection, do not use non-trivial triggers unless necessary. Add option to strings.
Diffstat (limited to 'src/theory/example')
0 files changed, 0 insertions, 0 deletions