edu.kit.iti.formal.automation.smv 0.11.0 Latest version
Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
<groupId>edu.kit.iti.formal.automation</groupId>
<artifactId>smv</artifactId>
<version>0.11.0</version>
</dependency>
Install 2/2: Run via command line
$ mvn install
About this package
No description available yet.
The 0.11.0 version of this package has been published
