5 Commits

Author SHA1 Message Date
mudathirmahgoub
2baf962965 Docs: remove api from package name in java.rst (#8560)
Fix broken links in https://cvc5.github.io/docs/cvc5-0.0.12/api/java/java.html
2022-04-05 00:51:47 +00:00
Andrew Reynolds
ba24986fe2 Add SynthResult to the API (#8370)
Does not modify the code to return a SynthResult yet, just adds the class.

Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
2022-03-23 21:56:33 +00:00
Aina Niemetz
eb3b04319a api: Fix smt-lib code blocks and math in C++ docs. (#7795) 2021-12-15 15:09:51 -08:00
Gereon Kremer
881464ade1 Turn kinds in python API into a proper Enum (#7686)
This PR does multiple things:
- the kinds are changed from custom objects to a proper enum.Enum class
  (including according changes to the cython code and the kind generation scripts)
- all examples and tests are modified to account for the change how to use kinds
  (Kind instead of kinds)
- add docstrings to the kind enum values
- add a custom documenter that properly renders enums via autodoc
- extend doxygen setup so that we can write comments as rst (allowing us to copy
  the documentation for kinds from the cpp api to the other apis)
2021-12-08 04:16:03 +00:00
mudathirmahgoub
6f8f56513c Add documentation for QuickStart.java (#7730)
Improve java documentation: add QuickStart and a java API overview.
2021-12-06 17:31:47 -08:00