summaryrefslogtreecommitdiff
path: root/docs/api/python/python.rst
blob: d815f837a2166440db27e12f88a9f6f4b259968c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
.. _python-api:

Python API Documentation
========================

.. 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: 1

    quickstart
    solver
    datatype
    datatypeconstructor
    datatypeconstructordecl
    datatypedecl
    datatypeselector
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback