diff options
author | Guy <katz911@gmail.com> | 2016-07-01 16:49:02 -0700 |
---|---|---|
committer | Guy <katz911@gmail.com> | 2016-07-01 16:49:02 -0700 |
commit | a58abbe71fb1fc07129ff9c7568ac544145fb57c (patch) | |
tree | bbca6289fad9fdd3ea21b27bee9f6be82b1c5685 /src/theory/quantifiers/theory_quantifiers.h | |
parent | 1d4ad74ca90641bd9165f9a2c019c54cde6e80c1 (diff) |
When proving a lemma, ignore literals that don't belong to the theory in question, except for equalties
Diffstat (limited to 'src/theory/quantifiers/theory_quantifiers.h')
0 files changed, 0 insertions, 0 deletions