Download theorymapping-2.9.9.jar file

Description

Part of the ProB Parser library

You can download jar file theorymapping 2.9.9 in this page.

Eclipse Public License, Version 1.0

You can use the following script to add theorymapping-2.9.9.jar to your project.

<dependency>
   <groupId>de.hhu.stups</groupId>
   <artifactId>theorymapping</artifactId>
   <version>2.9.9</version>
</dependency>

compile group: 'de.hhu.stups', name: 'theorymapping', version: '2.9.9'

libraryDependencies += "de.hhu.stups" % "theorymapping" % "2.9.9"

<dependency org="de.hhu.stups" name="theorymapping" rev="2.9.9"/>

@Grapes(@Grab(group='de.hhu.stups', module='theorymapping', version='2.9.9'))

'de.hhu.stups:theorymapping:jar:2.9.9'

Click the following link to download the jar file.