Package org.oristool.analyzer

General framework for state space exploration.