diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-01 17:57:37 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-01 17:57:37 +0200 |
| commit | 627b8507183ae6c58b2eda80ca14500b1fa87809 (patch) | |
| tree | ba0e941e44a55e68164013a63e73ae997d83c376 /src/theory/.gitignore | |
| parent | abf1cbec2d5e0d76d0ac5a5f208ddf82f5422532 (diff) | |
Evaluate extended operators on partially concrete arguments. More aggressive rewriting. Bug fix explanations for inferences. Avoid spurious cardinality splits. Do not do disequality splits for non-disequal terms. Work towards non-recursive handling of flat forms.
Diffstat (limited to 'src/theory/.gitignore')
0 files changed, 0 insertions, 0 deletions