mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
f65550a404
We are renaming files in the pythonic API to make it look less like it is somehow part of z3 (but still acknowledge that we took code from z3Py properly). This PR follows the change in cvc5/cvc5_pythonic_api#80.
16 lines
597 B
ReStructuredText
16 lines
597 B
ReStructuredText
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 <cpp/cpp>` is considered the primary interface to cvc5, both the :doc:`Java API <java/java>` and the :doc:`base Python API <python/base/python>` implement a thin wrapper around it.
|
|
Additionally, a more pythonic Python API is available at https://github.com/cvc5/cvc5_pythonic_api
|
|
and documented :doc:`here <python/pythonic/pythonic>`.
|
|
|
|
.. toctree::
|
|
:maxdepth: 1
|
|
|
|
cpp/cpp
|
|
java/java
|
|
python/python
|