docs/api/python/base/python.rst

   1 Base Python API
   2 ========================
   3
   4 .. only:: not bindings_python
   5
   6     .. warning::
   7
   8         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.
   9
  10 This is the base Python API.
  11 It is an almost exact copy of the :doc:`C++ API <../../cpp/cpp>`.
  12
  13 See the :doc:`pythonic API <../pythonic/pythonic>` for a higher-level programming experience.
  14
  15 .. toctree::
  16     :maxdepth: 2
  17
  18     quickstart
  19     datatype
  20     datatypeconstructor
  21     datatypeconstructordecl
  22     datatypedecl
  23     datatypeselector
  24     grammar
  25     kind
  26     op
  27     result
  28     roundingmode
  29     solver
  30     sort
  31     statistics
  32     synthresult
  33     term
  34     unknownexplanation