Download tla2bAST-1.0.8.jar file

Description

Translator from TLA+ to ProB's AST representation.

You can download jar file tla2bAST 1.0.8 in this page.

Eclipse Public License, Version 1.0

You can use the following script to add tla2bAST-1.0.8.jar to your project.

<dependency>
   <groupId>de.hhu.stups</groupId>
   <artifactId>tla2bAST</artifactId>
   <version>1.0.8</version>
</dependency>

compile group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8'

libraryDependencies += "de.hhu.stups" % "tla2bAST" % "1.0.8"

<dependency org="de.hhu.stups" name="tla2bAST" rev="1.0.8"/>

@Grapes(@Grab(group='de.hhu.stups', module='tla2bAST', version='1.0.8'))

'de.hhu.stups:tla2bAST:jar:1.0.8'

Click the following link to download the jar file.