blob: 4a1fb72022086f7354ae3753bf4f22d1e8770e6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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/index>` and the :doc:`Python API <python/python>` implement a thin wrapper around it.
Additionally, a more pythonic Python API is availble at https://github.com/cvc5/cvc5_z3py_compat.
.. toctree::
:maxdepth: 1
cpp/cpp
java/index
python/python
|