diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-18 12:47:07 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-18 12:47:07 +0200 |
| commit | fe7a5119d5b48a2546ece43574bc4d07e86c14a7 (patch) | |
| tree | e64192933867061c3b215ee02e0d3aafad6b419e /library_versions | |
| parent | 18da2141dcddf221f0a40782b02a24766f0ed2c7 (diff) | |
Add support for quantifier-specific instantiation levels. Add option for setting inst-level 0 only for input terms.
Diffstat (limited to 'library_versions')
0 files changed, 0 insertions, 0 deletions