index.rst 540 Bytes
Newer Older
1
.. IDP-Z3 documentation main file, created by
pierre.carbonnelle's avatar
pierre.carbonnelle committed
2
3
4
5
6
7
8
9
   sphinx-quickstart on Mon Jun 29 12:09:07 2020.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to IDP-Z3's documentation!
==================================

.. toctree::
10
   :maxdepth: 3
pierre.carbonnelle's avatar
pierre.carbonnelle committed
11
12
13
   :caption: Contents:

   introduction
14
15
   FO-dot
   IDP-Z3
16
   interactive_consultant
Simon Vandevelde's avatar
Simon Vandevelde committed
17
   code_reference
Pierre Carbonnelle's avatar
Pierre Carbonnelle committed
18
   summary
pierre.carbonnelle's avatar
pierre.carbonnelle committed
19
   genindex
20

pierre.carbonnelle's avatar
pierre.carbonnelle committed
21
22
23
24
25
26
27


Indices and tables
==================

* :ref:`genindex`
* :ref:`search`
28

pierre.carbonnelle's avatar
pierre.carbonnelle committed
29
.. * :ref:`modindex`