projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 879bc5c) | patch
Simplify internal API for sygus (#5687)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 18 Dec 2020 16:01:17 +0000 (10:01 -0600)
committerGitHub <noreply@github.com>
Fri, 18 Dec 2020 16:01:17 +0000 (10:01 -0600)
commit7d4c7be8cbe1ac3b68c3bb5e2b08143f8324b5a1
treecf80f5c45a6dc4b13256009d883e4407a718acb5tree
parent879bc5c29cbfc8ebcfe69fcc9316dfdb1361ff1fcommit | diff
Simplify internal API for sygus (#5687)

This makes simplifications to the internal sygus API now that the SmtEngine interface is independent of parsing.
src/api/cvc4cpp.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/smt/sygus_solver.cpp diff | blob | history
src/smt/sygus_solver.h diff | blob | history
src/theory/quantifiers/sygus/sygus_interpol.cpp diff | blob | history