diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-29 16:06:50 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-29 16:06:50 +0200 |
| commit | e9fb730333b2719cddaa0a9209aa7953d7f30b0b (patch) | |
| tree | da178be240ac8121635bed7cdfde8c58449e65a5 /src/theory/idl | |
| parent | 4397bf2a96fabe124ebd18e9ae9957689852afb3 (diff) | |
Set instantiation level on skolemized bodies of quantifiers. Rename inst-level attribute to quant-inst-max-level
Diffstat (limited to 'src/theory/idl')
0 files changed, 0 insertions, 0 deletions