diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-09-29 21:39:34 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-09-29 21:39:39 +0200 |
| commit | a4a943134f888a514f19adaffe2f6743a16a25a6 (patch) | |
| tree | 9d243bce3fc0edb864853761d0628b04ccaa4b99 /src/theory/quantifiers/instantiation_engine.cpp | |
| parent | cf022026fef28986666c0b5cd80944aa8a239280 (diff) | |
Add option for aggressive model filtering in conjecture generator (enumerate ground terms).
Diffstat (limited to 'src/theory/quantifiers/instantiation_engine.cpp')
0 files changed, 0 insertions, 0 deletions