cvc5/docs/examples/exceptions.rst at 23.2 - cvc5 - ProxGit

ada/cvc5

mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00

Files

Alex Ozdemir 1ae29f4353 Bump Pythonic (transcendentals) & exception example (#8553 )

- Bump version of Pythonic API to include transcendentals.
- Document Pythonic API's transcendentals.
- Add exception Pythonic API example.

2022-04-04 20:11:30 +00:00

9 lines

208 B

ReStructuredText

Raw Permalink Blame History

 Exception Handling
 ======================================
 .. api-examples::
     <examples>/api/java/Exceptions.java
     <examples>/api/python/exceptions.py
     <pythonicapi>/test/pgms/example_exceptions.py