.. IBEX documentation master file, created by
   sphinx-quickstart on Mon Apr 21 11:59:19 2014.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

================================
Welcome to IBEX's documentation!
================================

-------------------
The Core Library
-------------------

.. toctree::
   :maxdepth: 2
   
   intro
   install
   tutorial
   interval
   function
   constraint
   system
   minibex
   contractor
   separator
   set
   strategy
   reference
   example-slam
   lab
   
.. _optim-plugin:

-------------------
IbexOpt Plugin
-------------------

.. toctree::
   :maxdepth: 2
   
   optim-install
   optim-tutorial
   
.. _java-plugin:

------------------------
Java Plugin (for Choco)
------------------------

.. toctree::
   :maxdepth: 2
   
   java-install

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

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`