mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
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.