.. _sec-toctree:

##########################################
Codac: constraint-programming for robotics
##########################################

.. toctree::
  :maxdepth: 1
  :titlesonly:
 
  Codac main page </index>
  /install/02-py-project-online
  /install/01-installation
  /install/02-start-py-project
  /install/03-start-cpp-project
  /install/04-start-matlab-project


.. toctree::
  :caption: User manual
  :maxdepth: 2
  :titlesonly:

  /manual/01-introduction/index
  /manual/02-variables/index
  /manual/03-domains/index
  /manual/10-functions/index
  Static contractors </manual/04-static-contractors/index>
  Temporal contractors </manual/05-dynamic-contractors/index>
  /manual/06-contractor-network/index
  /manual/11-separators/index
  /manual/07-graphics/index
  /faq
  See also: codac-unsupported </dev/codac-unsupported>
..  /manual/08-going-further/index
..  /manual/09-extensions/index


.. toctree::
  :caption: Set4MOST
  :maxdepth: 2
  :titlesonly:

  Examples </tutorial-set4most/01-examples/index>


.. toctree::
  :caption: Tutorial JNRR23
  :maxdepth: 2
  :titlesonly:

  JNRR-1. Intervals and contractors </tutorial-jnrr23/01-basics/index>
  JNRR-2. Static range-only localization </tutorial-jnrr23/02-static-rangeonly/index>
  JNRR-3. Towards SLAM </tutorial-jnrr23/03-towards-slam/index>


.. toctree::
  :caption: Tutorial for mobile robotics
  :maxdepth: 2
  :titlesonly:

  Main page </tutorial/index>
  Introduction </tutorial/00-getting-started/index>

  A. Intervals and contractors </tutorial/01-basics/index>
  B. Static range-only localization </tutorial/02-static-rangeonly/index>

  C. Static range-bearing localization </tutorial/03-static-rangebearing/index>
  D. Building our own contractor </tutorial/04-own-contractor/index>

  E. Hello tubes </tutorial/05-tubes/index>
  F. Asynchronous measurements </tutorial/06-dyn-rangeonly/index>

  G. Localization with data association </tutorial/07-data-association/index>
  H. Range-only SLAM </tutorial/08-rangeonly-slam/index>


.. toctree::
  :caption: Use cases
  :maxdepth: 2
  :titlesonly:

  Lie symmetries for guaranteed integ. </use-cases/lie-symmetries/index>
  Pose estimation with range-only obs. </use-cases/brunovsky/index>

..  /use-cases/set-inversion/index
..  /use-cases/loops/index


.. toctree::
  :caption: Development
  :maxdepth: 1
  :titlesonly:

  /dev/changelog
  /dev/api_technical_doc
  /dev/info_dev