Theseus 3.1.1 Documentation
The following is available:
- Release note for 3.1.1
- 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.
Please send any questions about these documents to
Greg Barish.