This is the source repository for TuLiP, the temporal logic planning toolbox.
In most cases, it suffices to:
python setup.py install
To avoid checking for optional dependencies, add the option "nocheck":
python setup.py install nocheck
Detailed instructions, including notes about dependencies and troubleshooting, are available at
The documentation sources (see below) can be found under doc/
. A test suite (see below) is provided under tests/.
There are two main sources of documentation outside the code. The "user" documentation is under doc/
and is built with Sphinx, so the usual steps apply, :
make html
API documentation is generated using Epydoc and can also be built from the doc
directory, now by :
make api
Built copies for the most recent release of TuLiP are available online at:
Command summaries are provided by make help
.
Tests are performed using nose; see http://readthedocs.org/docs/nose/ for details. From the root of the source tree (i.e., where setup.py is located), run:
./run_tests.py
to run all available tests. Use the flag "-h" to see driver script options. To disable output capture, add the flag "-s" when invoking nose.