Download tlatools-1.0.0.jar file

Description

Modified version of the TLA+ tools for usage in ProB

You can download jar file tlatools 1.0.0 in this page.

MIT License

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'

Click the following link to download the jar file.