.. Emacs, this is -*-rst-*-

Planner Synthesis
=================
.. automodule:: jtlvint
   :members:

.. automodule:: automaton
   :members: