diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-20 18:40:40 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-20 18:40:40 -0500 |
commit | bf863b1f3cee791585e2c04e5f40afcadcdf113c (patch) | |
tree | 28d4912780a9396733542bbbdf97bd5eb62c40fc /src/theory/quantifiers/conjecture_generator.h | |
parent | a0c5a51f6fae81ffeb1752ee4d75db7a51c23680 (diff) |
Remove support for prototype (non-sygus) synthesis (#2338)
Diffstat (limited to 'src/theory/quantifiers/conjecture_generator.h')
0 files changed, 0 insertions, 0 deletions