Theseus 3.5.1 Documentation
The following is available:
- Release note for 3.5.1
- Version change log
- User documentation
- Getting Started:
Theseus in a nutshell, basic information on how to get
started, running example plans.
- Writing Plans and Datafiles:
A more detailed description of how to construct Theseus
plans and datafiles.
- Operator List:
Complete specifications for all Theseus operators and examples
of how to use them.
- Theseus.properties:
Understanding the file that defines run-time configurations
for Theseus.
- FAQ:
Frequently Asked Questions about how to build and run Theseus plans.
- Developer documentation
- Academic publications
- Specifications
- Theseus Specification:
A very out of date specification of the system. Some of the
background information, basic goals, and basic usage is still
valid, but the rest has changed significantly.
- Credits
Please send any questions about these documents to
Greg Barish.