diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-29 15:17:03 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-29 15:17:03 +0200 |
commit | 4182943e7accc8a0e05f6dfdf9db7db06e94c6cd (patch) | |
tree | d4f3bad70e464321a4e7fe977f1528f783dcd1b1 /src/theory/quantifiers/full_model_check.cpp | |
parent | ef7b7bba7bc9b207d5a2198518f21b13490caa32 (diff) |
Fix for fmf+incremental. Restrict cbqi to literals from ce body. Add regressions.
Diffstat (limited to 'src/theory/quantifiers/full_model_check.cpp')
0 files changed, 0 insertions, 0 deletions