Download theorymapping-2.6.2.jar file - Jar t

Jar examples for t:theorymapping

Description

Part of the ProB Parser library

You can download jar file theorymapping 2.6.2 in this page.

License

Eclipse Public License, Version 1.0

Build File

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

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

Download

Click the following link to download the jar file.

theorymapping-2.6.2-javadoc.jar
theorymapping-2.6.2-sources.jar
theorymapping-2.6.2.jar
theorymapping-2.6.2.pom



Related Tutorials