diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-04-13 11:22:43 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-04-13 11:22:43 -0500 |
| commit | decde5be0b6409b9c1b84f40c8383bb8483e4566 (patch) | |
| tree | 0130bf76dde48a28fc68dcc14e61c2b9fabc923c /src/theory/quantifiers/inst_match.cpp | |
| parent | dd01099518aab8d42d788dfadadbe11763ec9d18 (diff) | |
Handle parametric datatypes with --quant-ind. Minor updates.
Diffstat (limited to 'src/theory/quantifiers/inst_match.cpp')
0 files changed, 0 insertions, 0 deletions