Daniel Larraz 67312dcd41 doc: Add instructions for using Java bindings with Maven (#12271) ...

This PR updates the cvc5 Java API documentation to explain how to use
the cvc5 Java bindings in a Maven project. It also updates the output
obtained when building the Java bindings from source.

2025-12-02 00:35:54 +00:00

..

CMakeLists.txt

Build Javadoc and sources JARs for IDE docs and navigation (#12236)

2025-11-17 16:09:54 +00:00

java.rst

doc: Add instructions for using Java bindings with Maven (#12271)

2025-12-02 00:35:54 +00:00

quickstart.rst

ci: Treat all Sphinx warnings as errors (#12112)

2025-09-16 14:33:19 +00:00