TuLiP User's Guide
==================

Welcome to TuLiP, the Temporal Logic Planning Toolbox.  This user's guide is
intended for people who are interested in making use of TuLiP to synthesize
reactive controllers for hybrid systems and perform related functions.

The project is hosted at https://github.com/tulip-control

Ask for help via `discussions on GitHub <https://github.com/tulip-control/tulip-control/discussions>`_.
For release announcements, join the `tulip-control-announce mailing list <https://sourceforge.net/p/tulip-control/mailman/tulip-control-announce>`_.

Contents:

.. toctree::
   :numbered:
   :maxdepth: 2

   intro
   install
   tutorial
   specifications
   transys
   codegen
   gridworlds
   benchmarks
   formulations
   dev_guide
   bibliography

Special pages:

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