diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-04-16 11:21:07 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-04-16 11:21:19 +0200 |
| commit | 1bf5bc13506ba8c517925a50a6650a594d3ec42d (patch) | |
| tree | 50b8e87dbf38cbd483ce1848b814489792016aef /src/theory/quantifiers/term_database.cpp | |
| parent | 15d1cd77d1ab30bcbd2d89b77a3f2aab577b86cf (diff) | |
Handle (degenerate) case of synthesis conjectures for constants. Disable delta lemmas.
Diffstat (limited to 'src/theory/quantifiers/term_database.cpp')
0 files changed, 0 insertions, 0 deletions