diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-04 16:46:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-04 16:46:49 -0700 |
| commit | ae7084ba7a16c7651d8a7b9237c903420058323e (patch) | |
| tree | 91bede4f1145dea63e6439dc24481679ac3aaf35 /docs/examples/sygus-grammar.rst | |
| parent | 3630215cc02f7243fccba0a8078dd251a252abdc (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.
Diffstat (limited to 'docs/examples/sygus-grammar.rst')
| -rw-r--r-- | docs/examples/sygus-grammar.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/examples/sygus-grammar.rst b/docs/examples/sygus-grammar.rst index 6c627e22f..ad22bdc85 100644 --- a/docs/examples/sygus-grammar.rst +++ b/docs/examples/sygus-grammar.rst @@ -6,3 +6,4 @@ SyGuS: Grammars ../../examples/api/cpp/sygus-grammar.cpp ../../examples/api/java/SygusGrammar.java ../../examples/api/python/sygus-grammar.py + ../../examples/api/smtlib/sygus-grammar.sy |