Download rodin-eventb-ast-3.2.0.jar file

Description

The AST library extracted from the Rodin Platform.

You can download jar file rodin-eventb-ast 3.2.0 in this page.

Eclipse Public License, V 1.0

You can use the following script to add rodin-eventb-ast-3.2.0.jar to your project.

<dependency>
   <groupId>de.hhu.stups</groupId>
   <artifactId>rodin-eventb-ast</artifactId>
   <version>3.2.0</version>
</dependency>

compile group: 'de.hhu.stups', name: 'rodin-eventb-ast', version: '3.2.0'

libraryDependencies += "de.hhu.stups" % "rodin-eventb-ast" % "3.2.0"

<dependency org="de.hhu.stups" name="rodin-eventb-ast" rev="3.2.0"/>

@Grapes(@Grab(group='de.hhu.stups', module='rodin-eventb-ast', version='3.2.0'))

'de.hhu.stups:rodin-eventb-ast:jar:3.2.0'

Click the following link to download the jar file.