From a663cf120b68787fe9399411aac33ea4837fa60e Mon Sep 17 00:00:00 2001 From: mudathirmahgoub Date: Tue, 7 Dec 2021 16:16:33 -0600 Subject: [PATCH] Fix some java documentation links (#7757) --- docs/api/api.rst | 2 +- docs/theories/sets-and-relations.rst | 1 + docs/theories/transcendentals.rst | 1 + 3 files changed, 3 insertions(+), 1 deletion(-) 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 -- 2.30.2