Skip to content

com.g2forge.reassert.re-contract 0.0.4-SNAPSHOT Latest version

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>com.g2forge.reassert</groupId>
  <artifactId>re-contract</artifactId>
  <version>0.0.4-SNAPSHOT</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

Abstract model & algorithms for contracts and contract analysis