Download prologlib-2.5.4.jar file

Description

Part of the ProB Parser library

You can download jar file prologlib 2.5.4 in this page.

Eclipse Public License, Version 1.0

You can use the following script to add prologlib-2.5.4.jar to your project.

<dependency>
   <groupId>de.hhu.stups</groupId>
   <artifactId>prologlib</artifactId>
   <version>2.5.4</version>
</dependency>

compile group: 'de.hhu.stups', name: 'prologlib', version: '2.5.4'

libraryDependencies += "de.hhu.stups" % "prologlib" % "2.5.4"

<dependency org="de.hhu.stups" name="prologlib" rev="2.5.4"/>

@Grapes(@Grab(group='de.hhu.stups', module='prologlib', version='2.5.4'))

'de.hhu.stups:prologlib:jar:2.5.4'

Click the following link to download the jar file.