Package org.oristool.analyzer.stop

Stop conditions for state space exploration.