This wiki contains various articles about org.tigris.mbt
Command-line options and handling
mbt has a variety of different command-line options. The article describes all aspects of mbt's possibilities as a command-line driven tool.
Terminology
All about edges
All about vertices
All about generators
All about stop conditions
Examples
A collection of examples.
How to
A collection of how to use org.mbt.tigris

