Skip to main content

Temporal Logic Planning (TuLiP) Toolbox

Project description

This is the source repository for TuLiP, the temporal logic planning toolbox. The project website is


In most cases, it suffices to:

python install

To avoid checking for optional dependencies, add the option “nocheck”:

python install nocheck

Detailed instructions, including notes about dependencies and troubleshooting, are available at

The next section describes how to build documentation. A test suite is provided under tests/. Consult the section “Testing” below.


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. Besides the above sources, you may also read API documentation using the standard pydoc tool. E.g.,

pydoc tulip


Tests are performed using nose; see for details. From the root of the source tree (i.e., where is located), run:


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.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Filename, size & hash SHA256 hash help File type Python version Upload date
tulip-1.1a.tar.gz (2.5 MB) Copy SHA256 hash SHA256 Source None

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN SignalFx SignalFx Supporter DigiCert DigiCert EV certificate StatusPage StatusPage Status page