net.sf.jpf.jpf-tools 1.5.1 Latest version
Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
<groupId>net.sf.jpf</groupId>
<artifactId>jpf-tools</artifactId>
<version>1.5.1</version>
</dependency>
Install 2/2: Run via command line
$ mvn install
About this package
No description available yet.
The 1.5.1 version of this package has been published
