blob: ad7c8524b824975b8f92d209c5cf21b71e086c1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
z3py compatibility API
=========================================
.. only:: not bindings_python
.. warning::
This documentation was built while python bindings were disabled. This part of the documentation is likely either empty or outdated. Please enable :code:`BUILD_BINDINGS_PYTHON` in :code:`cmake` and build the documentation again.
.. toctree::
:maxdepth: 2
quickstart
boolean
bitvec
arith
array
set
solver
commands
fp
dt
quant
internals
.. automodule:: cvc5_z3py_compat
:members:
:private-members:
:imported-members:
|