Download tlatools-1.0.0.jar file - Jar t

Jar examples for t:tlatools

Description

Modified version of the TLA+ tools for usage in ProB

You can download jar file tlatools 1.0.0 in this page.

License

MIT License

Build File

You can use the following script to add tlatools-1.0.0.jar to your project.

<dependency>
   <groupId>de.hhu.stups</groupId>
   <artifactId>tlatools</artifactId>
   <version>1.0.0</version>
</dependency>
compile group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0'
libraryDependencies += "de.hhu.stups" % "tlatools" % "1.0.0"
<dependency org="de.hhu.stups" name="tlatools" rev="1.0.0"/>
@Grapes(@Grab(group='de.hhu.stups', module='tlatools', version='1.0.0'))
'de.hhu.stups:tlatools:jar:1.0.0'

Download

Click the following link to download the jar file.

tlatools-1.0.0-javadoc.jar
tlatools-1.0.0-sources.jar
tlatools-1.0.0.jar
tlatools-1.0.0.pom



Related Tutorials