d

de.prob2.kernel

The ProB 2.0 Kernel library
http://www.prob2.de
Eclipse Public License, Version 1.0
Jens Bendisposto
library kernel prob
Files download
File Operation
de.prob2.kernel-3.12.0.jar download
de.prob2.kernel-3.12.0.pom download
de.prob2.kernel-3.12.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.hhu.stups</groupId>
  <artifactId>de.prob2.kernel</artifactId>
  <version>3.12.0</version>
</dependency>
Gradle Groovy 
implementation 'de.hhu.stups:de.prob2.kernel:3.12.0'
Gradle Kotlin 
implementation("de.hhu.stups:de.prob2.kernel:3.12.0")
Scala SBT 
libraryDependencies += "de.hhu.stups" % "de.prob2.kernel" % "3.12.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.hhu.stups', module='de.prob2.kernel', version='3.12.0')
)
Apache Ivy 
<dependency org="de.hhu.stups" name="de.prob2.kernel" rev="3.12.0" />
Leiningen 
[de.hhu.stups/de.prob2.kernel "3.12.0"]
Apache Buildr 
'de.hhu.stups:de.prob2.kernel:jar:3.12.0'
Dependencies

compile

|-- de.hhu.stups:answerparser:2.9.27

|-- de.hhu.stups:bparser:2.9.27

|-- de.hhu.stups:ltlparser:2.9.27

|-- de.hhu.stups:parserbase:2.9.27

|-- de.hhu.stups:prologlib:2.9.27

|-- de.hhu.stups:unicode:2.9.27

|-- de.hhu.stups:theorymapping:2.9.27

|-- de.hhu.stups:value-translator:0.1.2

|-- org.codehaus.groovy:groovy:3.0.3

|-- org.codehaus.groovy:groovy-jsr223:3.0.3

|-- org.codehaus.groovy:groovy-nio:3.0.3

|-- org.codehaus.groovy:groovy-xml:3.0.3

|-- org.slf4j:slf4j-api:1.7.30

|-- com.github.krukow:clj-ds:0.0.4

|-- com.google.inject:guice:4.2.2

|-- de.hhu.stups:ltl-dsl:0.1.3

|-- de.hhu.stups:rodin-eventb-ast:3.2.0

runtime

|-- com.fatboyindustrial.gson-javatime-serialisers:gson-javatime-serialisers:1.1.1

|-- com.google.guava:guava:28.2-jre

|-- com.google.code.gson:gson:2.8.6

|-- de.hhu.stups:alloy2b:1.2

|-- de.hhu.stups:tla2bAST:1.1.3

|-- org.apache.commons:commons-lang3:3.0