projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 319caf1) | patch
Show the code for utilities in the docs. (#8387)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Wed, 30 Mar 2022 02:11:08 +0000 (21:11 -0500)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 02:11:08 +0000 (02:11 +0000)
commitf1ba9b8542b8cd7424b6dfc679c834593c7b8f01
tree57683aa31f3988a8e01f46b690ac9f0970aaff51tree
parent319caf1bf9bff1e02dbdce037a1fe41064470fe0commit | diff
Show the code for utilities in the docs. (#8387)

This PR adds the code for printing synthesis solutions to the docs. Various other changes are made to increase the consistency between the different bindings.

Signed-off-by: Abdalrhman M Mohamed <abdalrhman-mohamed@uiowa.edu>
17 files changed:
docs/conf.py.in diff | blob | history
docs/examples/sygus-fun.rst diff | blob | history
docs/examples/sygus-grammar.rst diff | blob | history
docs/examples/sygus-inv.rst diff | blob | history
examples/api/cpp/CMakeLists.txt diff | blob | history
examples/api/cpp/sygus-fun.cpp diff | blob | history
examples/api/cpp/sygus-grammar.cpp diff | blob | history
examples/api/cpp/sygus-inv.cpp diff | blob | history
examples/api/cpp/utils.cpp diff | blob | history
examples/api/cpp/utils.h diff | blob | history
examples/api/java/SygusFun.java diff | blob | history
examples/api/java/SygusGrammar.java diff | blob | history
examples/api/java/SygusInv.java diff | blob | history
examples/api/java/Utils.java [new file with mode: 0644] blob
examples/api/python/sygus-grammar.py diff | blob | history
examples/api/python/utils.py diff | blob | history
src/api/java/io/github/cvc5/api/Utils.java diff | blob | history