d

de.prob2.kernel

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

compile

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

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

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

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

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

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

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

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

|-- org.codehaus.groovy:groovy

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

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

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

|-- org.slf4j:slf4j-api:2.0.7

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

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

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

|-- com.fasterxml.jackson.core:jackson-databind

|-- com.fasterxml.jackson.datatype:jackson-datatype-jsr310

runtime

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

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

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

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

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

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