diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-15 00:52:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-15 00:52:33 -0500 |
| commit | 617f1b0fe93e077d6e76e03dcf1a75730740fe27 (patch) | |
| tree | f90a752936d1d3c218bc52517af53f4e7e19cae6 /src/theory/quantifiers/bv_inverter_utils.cpp | |
| parent | b18ebfd50bfcb3b2ec422daf5b2fd8d99ca6406a (diff) | |
Always flush lemmas from downwards closure in sets (#4297)
Fixes #4283.
This also makes a few minor improvements to how lemmas are sent in sets. In particular, lemmas are not sent if we are already in conflict.
Diffstat (limited to 'src/theory/quantifiers/bv_inverter_utils.cpp')
0 files changed, 0 insertions, 0 deletions