The AST library extracted from the Rodin Platform.
'de.hhu.stups:rodin-eventb-ast:3.2.0'
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>rodin-eventb-ast</artifactId>
<version>3.2.0</version>
</dependency>
<dependency org="de.hhu.stups" name="rodin-eventb-ast" rev="3.2.0"/>
"de.hhu.stups", "rodin-eventb-ast", "3.2.0"