projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3630215) | patch
Add sygus examples to documentation (#7303)
authorGereon Kremer <nafur42@gmail.com>
Mon, 4 Oct 2021 23:46:49 +0000 (16:46 -0700)
committerGitHub <noreply@github.com>
Mon, 4 Oct 2021 23:46:49 +0000 (16:46 -0700)
commitae7084ba7a16c7651d8a7b9237c903420058323e
tree91bede4f1145dea63e6439dc24481679ac3aaf35tree
parent3630215cc02f7243fccba0a8078dd251a252abdccommit | diff
Add sygus examples to documentation (#7303)

For some reason, we didn't have any SMT-LIB (or rather SyGuS) example files for the SyGuS examples yet.
This PR adds these missing examples.
docs/examples/sygus-fun.rst diff | blob | history
docs/examples/sygus-grammar.rst diff | blob | history
docs/examples/sygus-inv.rst diff | blob | history
docs/ext/examples.py diff | blob | history
examples/api/smtlib/sygus-fun.sy [new file with mode: 0644] blob
examples/api/smtlib/sygus-grammar.sy [new file with mode: 0644] blob
examples/api/smtlib/sygus-inv.sy [new file with mode: 0644] blob
src/api/cpp/cvc5.h diff | blob | history