diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-22 13:42:46 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-22 18:42:46 +0000 |
| commit | 134985065820077d2628023b9b72f78471392968 (patch) | |
| tree | 544c433dbc20f3022f964f582d0395817ccb72ab /src/theory/quantifiers/quant_conflict_find.cpp | |
| parent | 519cdc2d4b44a9785ee68d181e2682d74890e89a (diff) | |
Move equality query utility into quantifiers model (#6186)
This simplifies the initialization of quantifiers engine.
This PR also makes general improvements to EqualityQuery.
Diffstat (limited to 'src/theory/quantifiers/quant_conflict_find.cpp')
0 files changed, 0 insertions, 0 deletions