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/quantifiers_attributes.cpp | |
| 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/quantifiers_attributes.cpp')
0 files changed, 0 insertions, 0 deletions