diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-05-26 08:30:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-26 06:30:45 +0000 |
| commit | 7440f0568b99842d87cb1f86eec21aed9f46b92a (patch) | |
| tree | 1fa6a41efcf4bb0946bac7ea43abc8cdcbd2a0c8 /docs/index.rst | |
| parent | 14b4666bec5cf6a8058254d740e94eda388f4760 (diff) | |
Add more examples to the documentation (#6569)
This PR adds (most of) the existing examples to the documentation, and does some other minor updates on the documentation. Some details:
- for consistency, all cpp examples are moved from examples/api to examples/api/cpp
- add capabilities for SMT-LIB examples, and two simple smt2 examples
- more docs/examples/*.rst files
- two new documentation categories: installation (how to obtain, compile and install cvc5) and binary (about the cvc5 binary)
Diffstat (limited to 'docs/index.rst')
| -rw-r--r-- | docs/index.rst | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/docs/index.rst b/docs/index.rst index 8d77790fb..fc82111e2 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -6,17 +6,13 @@ cvc5 API Documentation ====================== - -* :ref:`genindex` - - ---------------- - .. toctree:: :maxdepth: 1 + installation/installation + binary/binary cpp/cpp python/python - references examples/examples - options + references + genindex |