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

This is the User's Guide to the fmrbenchmark repository. The two other major
forms of documentation are the API manual and the benchmark specifications.
Among the latter documents are competition rules. Besides these sources of
documentation, there are comments in the code as well as README and similar
files throughout the repository.

For newcomers, a good place to begin is the :doc:`intro`.

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

   intro

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

This is the User's Guide to the `fmrbenchmark repository
<https://github.com/fmrchallenge/fmrbenchmark>`_, which is part of a project to
develop benchmark problems for research in so-called "formal methods for
robotics."  This effort is stimulated by competitions, and the main website is
http://fmrchallenge.org. The two other major forms of documentation are the `API
manual <http://api.fmrchallenge.org>`_ and the `benchmark specifications
<http://fmrchallenge.org/norm/>`_.  Among the latter documents are competition
rules. Besides these sources of documentation, there are comments in the code as
well as README and similar files throughout the repository.

For newcomers, a good place to begin is the :doc:`intro`.

.. toctree::
   :numbered:
   :maxdepth: 1

   intro

Improve intro on landing page of the User's Guide
DOC: Improve intro on landing page of the User's Guide
