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/bv/eager_bitblaster.cpp | |
parent | 15d1cd77d1ab30bcbd2d89b77a3f2aab577b86cf (diff) |
Handle (degenerate) case of synthesis conjectures for constants. Disable delta lemmas.
Diffstat (limited to 'src/theory/bv/eager_bitblaster.cpp')
0 files changed, 0 insertions, 0 deletions