diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-09-03 12:35:00 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-09-03 12:35:00 +0200 |
| commit | 83f91b92090ef0231156560f337affc6e5c2a33f (patch) | |
| tree | d0fe321ce4a6d29742688b9e8a5eaec859bd60ed /src/theory/quantifiers/quant_conflict_find.cpp | |
| parent | e9fb730333b2719cddaa0a9209aa7953d7f30b0b (diff) | |
Work on conjecture generator : do not generalize subterms with concrete values, filter conjectures with ground substitutions whose equality is unknown, simplify generalization depth calculation. Print --dump-instantiations on sat/unknown.
Diffstat (limited to 'src/theory/quantifiers/quant_conflict_find.cpp')
0 files changed, 0 insertions, 0 deletions