STAMINA DocumentationI would like to:
Learn how to use STAMINA Develop with STAMINA
Usage documentationDocumentation for the usage of STAMINA can be found at the wiki. This includes STAMINA usage, GUI, algorithm development, and command-line option documentation.
- For the STORM version, there exists Doxygen documentation.
- For the PRISM version, there is both Javadoc documentation as well as some markdown files describing each class in the repository.
STAMINA is now available via REST API! Please visit this page to get started!