From: mudathirmahgoub Date: Tue, 7 Dec 2021 22:16:33 +0000 (-0600) Subject: Fix some java documentation links (#7757) X-Git-Tag: cvc5-1.0.0~711 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a663cf120b68787fe9399411aac33ea4837fa60e;p=cvc5.git Fix some java documentation links (#7757) --- diff --git a/docs/api/api.rst b/docs/api/api.rst index a5dbdf421..f404ac832 100644 --- a/docs/api/api.rst +++ b/docs/api/api.rst @@ -3,7 +3,7 @@ API Documentation In addition to using cvc5 :doc:`as a binary <../binary/binary>`, cvc5 features APIs for several different programming languages. -While the :doc:`C++ API ` is considered the primary interface to cvc5, both the :doc:`Java API ` and the :doc:`Python API ` implement a thin wrapper around it. +While the :doc:`C++ API ` is considered the primary interface to cvc5, both the :doc:`Java API ` and the :doc:`Python API ` implement a thin wrapper around it. Additionally, a more pythonic Python API is availble at https://github.com/cvc5/cvc5_z3py_compat. .. toctree:: diff --git a/docs/theories/sets-and-relations.rst b/docs/theories/sets-and-relations.rst index bed7e05cf..33c0d4cd0 100644 --- a/docs/theories/sets-and-relations.rst +++ b/docs/theories/sets-and-relations.rst @@ -9,6 +9,7 @@ The simplest way to get a sense of the syntax is to look at an example: .. api-examples:: /api/cpp/sets.cpp + /api/java/Sets.java /api/python/sets.py /api/smtlib/sets.smt2 diff --git a/docs/theories/transcendentals.rst b/docs/theories/transcendentals.rst index 6d35e6cce..6b76e7b41 100644 --- a/docs/theories/transcendentals.rst +++ b/docs/theories/transcendentals.rst @@ -51,5 +51,6 @@ Examples .. api-examples:: /api/cpp/transcendentals.cpp + /api/java/Transcendentals.java /api/python/transcendentals.py /api/smtlib/transcendentals.smt2 \ No newline at end of file