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.h | |
parent | dd01099518aab8d42d788dfadadbe11763ec9d18 (diff) |
Handle parametric datatypes with --quant-ind. Minor updates.
Diffstat (limited to 'src/theory/quantifiers/inst_match.h')
0 files changed, 0 insertions, 0 deletions