projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad7907a) | patch
Introduce a public interface for Sygus commands. (#4204)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 21 Apr 2020 03:07:42 +0000 (22:07 -0500)
committerGitHub <noreply@github.com>
Tue, 21 Apr 2020 03:07:42 +0000 (22:07 -0500)
commitf6bd42406897e165f2c9faffd69ab8db0204004f
treea4391e9556011175887cf7254045bfdbdb1a98adtree
parentad7907adff119a6e25fe3c229663afecb15db7c4commit | diff
Introduce a public interface for Sygus commands. (#4204)

This commit addresses issue #38 in cvc4-projects by introducing public API for Sygus commands. It also includes two simple examples of how to use the API.
examples/api/CMakeLists.txt diff | blob | history
examples/api/sygus-fun.cpp [new file with mode: 0644] blob
examples/api/sygus-inv.cpp [new file with mode: 0644] blob
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/CMakeLists.txt diff | blob | history
test/unit/api/grammar_black.h [new file with mode: 0644] blob
test/unit/api/solver_black.h diff | blob | history