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 /src/prop/sat_proof_manager.h | |
| 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 'src/prop/sat_proof_manager.h')
0 files changed, 0 insertions, 0 deletions