d

de.prob2.kernel

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

compile

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

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

|-- de.hhu.stups:ptolemy-jfmi:1.1.0

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

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

|-- findbugs:annotations:1.0.0

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

|-- de.hhu.stups:eventbalg:2.6.2

|-- org.slf4j:slf4j-api:1.6.1

|-- de.hhu.stups:translator:2.6.2

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

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

|-- de.hhu.stups:cliparser:2.6.2

|-- net.java.dev.jna:jna:3.4.0

|-- org.spockframework:spock-core:1.0-groovy-2.4

|-- junit:junit:4.8.2

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

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

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

|-- commons-cli:commons-cli:1.2

|-- ch.qos.logback:logback-core:0.9.29

|-- org.codehaus.groovy:groovy-all:2.4.7

|-- com.google.guava:guava:19.0

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

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

|-- ch.qos.logback:logback-classic:0.9.29

|-- commons-lang:commons-lang:2.6

test

|-- org.mockito:mockito-core:1.10.19