a little mop that many say looks like a broom

LTLMoP Project Page

What is LTLMoP?

The LTLMoP (Linear Temporal Logic MissiOn Planning) toolkit is a collection of Python applications for designing, testing, and implementing hybrid controllers generated automatically from task specifications written in Structured English or Temporal Logic.

How can I get it? (and which version should I download?)

LTLMoP development takes place at its official GitHub repository.

The latest "stable" version of LTLMoP is available on the master branch; note that this may be fairly old.
The most up-to-date version is available on the development branch. This is more likely to have cool new features, but may contain some bugs.

Direct download links:

Stable: [Download .zip] [Download .tar.gz]
Development: [Download .zip] [Download .tar.gz]

How can I report a problem?

Please send an email to cpf37@cornell.edu. Also please feel free to create a fork of the GitHub project and submit pull requests / patches!

How can I find out more?

If you're just getting started, please refer to the Installation Guide and Tutorial. For installation on Windows, see the Windows Installation Guide.
If you want to see an example of LTLMoP in action, please watch a demonstration video.
For theoretical background information, see this paper.
For help writing specifications, see the grammar reference guide.
If you are interested in hacking LTLMoP, you'll likely want to check out the API documentation. Also, this tool is designed to help you get set up with a fork of LTLMoP on GitHub if you wish to contribute code.
For information not covered in any of the above, try checking the Wiki.

License Information

Unless otherwise specified, LTLMoP is released under the GPLv3 license. The JTLV library used for synthesis is LGPL.

THE PROGRAM IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.