diff options
author | Guy <katz911@gmail.com> | 2016-07-01 14:21:13 -0700 |
---|---|---|
committer | Guy <katz911@gmail.com> | 2016-07-01 14:21:13 -0700 |
commit | 1d4ad74ca90641bd9165f9a2c019c54cde6e80c1 (patch) | |
tree | f6d1db1ca667a9c0e70b4a8f8b655e1a92a08627 /src/theory/quantifiers/theory_quantifiers.h | |
parent | e252f83e7298fdbad1ac8882763e7571e7a83235 (diff) |
Handle bitvector lemmas where a literal gets rewritten into false, and consequently the lemma doesn't match a recorded conflict
Diffstat (limited to 'src/theory/quantifiers/theory_quantifiers.h')
0 files changed, 0 insertions, 0 deletions