Skip to main content
This is a pre-production deployment of Warehouse. Changes made here affect the production instance of PyPI (
Help us improve Python packaging - Donate today!

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:

pip install .

TuLiP can be installed also from PyPI:

pip install tulip

This will install the required dependencies. To find out what dependencies (including optional ones) are installed, call:


For detailed instructions, including notes about dependencies and troubleshooting, consult 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. From the root of the source tree (i.e., where is located),


to perform basic tests. To try all available tests, ./ full. For alternatives and a summary of usage, ./ -h


This is free software released under the terms of the BSD 3-Clause License. There is no warranty; not even for merchantability or fitness for a particular purpose. Consult LICENSE for copying conditions.

When code is modified or re-distributed, the LICENSE file should accompany the code or any subset of it, however small. As an alternative, the LICENSE text can be copied within files, if so desired.

Release History

Release History

This version
History Node


History Node


History Node


History Node


Download Files

Download Files

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

File Name & Checksum SHA256 Checksum Help Version File Type Upload Date
tulip-1.3.0.tar.gz (429.5 kB) Copy SHA256 Checksum SHA256 Source Nov 19, 2016

Supported By

WebFaction WebFaction Technical Writing Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Heroku Heroku PaaS Kabu Creative Kabu Creative UX & Design Fastly Fastly CDN DigiCert DigiCert EV Certificate Rackspace Rackspace Cloud Servers DreamHost DreamHost Log Hosting