Jar examples for b:bparser
Part of the ProB Parser library
You can download jar file bparser 2.4.40 in this page.
Eclipse Public License, Version 1.0
You can use the following script to add bparser-2.4.40.jar to your project.
<dependency> <groupId>de.hhu.stups</groupId> <artifactId>bparser</artifactId> <version>2.4.40</version> </dependency>
compile group: 'de.hhu.stups', name: 'bparser', version: '2.4.40'
libraryDependencies += "de.hhu.stups" % "bparser" % "2.4.40"
<dependency org="de.hhu.stups" name="bparser" rev="2.4.40"/>
@Grapes(@Grab(group='de.hhu.stups', module='bparser', version='2.4.40'))
'de.hhu.stups:bparser:jar:2.4.40'
Click the following link to download the jar file.
bparser-2.4.40-javadoc.jar