Release/0.2.22

Grab the new version from Maven central https://search.maven.org/artifact/org.into-cps.fmi/jnifmuapi/0.2.22/jar:

<dependency>
  <groupId>org.into-cps.verification</groupId>
  <artifactId>scenario_verifier</artifactId>
  <version>0.2.22</version>
</dependency>

Things that changed in this release

• no changes

v0.1-alpha

This is the first release of the Scenario-Verifier.
It support the ability to Verify Co-simulation algorithms containing both Algebraic Loops and Step-Finding Procedures.