diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-18 10:01:17 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-18 10:01:17 -0600 |
commit | 7d4c7be8cbe1ac3b68c3bb5e2b08143f8324b5a1 (patch) | |
tree | cf80f5c45a6dc4b13256009d883e4407a718acb5 /cmake/ConfigureCVC4.cmake | |
parent | 879bc5c29cbfc8ebcfe69fcc9316dfdb1361ff1f (diff) |
Simplify internal API for sygus (#5687)
This makes simplifications to the internal sygus API now that the SmtEngine interface is independent of parsing.
Diffstat (limited to 'cmake/ConfigureCVC4.cmake')
0 files changed, 0 insertions, 0 deletions