d

de.prob2.kernel

The ProB 2.0 Kernel
http://www.prob2.de
Eclipse Public License, Version 1.0
Jens Bendisposto
kernel prob
文件下载
文件名 操作
de.prob2.kernel-3.2.11.jar 下载
de.prob2.kernel-3.2.11.pom 下载
de.prob2.kernel-3.2.11-sources.jar 下载
Apache Maven 
<dependency>
  <groupId>de.hhu.stups</groupId>
  <artifactId>de.prob2.kernel</artifactId>
  <version>3.2.11</version>
</dependency>
Gradle Groovy 
implementation 'de.hhu.stups:de.prob2.kernel:3.2.11'
Gradle Kotlin 
implementation("de.hhu.stups:de.prob2.kernel:3.2.11")
Scala SBT 
libraryDependencies += "de.hhu.stups" % "de.prob2.kernel" % "3.2.11"
Groovy Grape 
@Grapes(
  @Grab(group='de.hhu.stups', module='de.prob2.kernel', version='3.2.11')
)
Apache Ivy 
<dependency org="de.hhu.stups" name="de.prob2.kernel" rev="3.2.11" />
Leiningen 
[de.hhu.stups/de.prob2.kernel "3.2.11"]
Apache Buildr 
'de.hhu.stups:de.prob2.kernel:jar:3.2.11'
本项目依赖

compile

|-- com.google.code.findbugs:jsr305:3.0.2

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

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

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

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

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

|-- org.slf4j:slf4j-api:1.7.21

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

|-- junit:junit:4.8.2

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

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

|-- com.google.code.findbugs:annotations:3.0.1u2

test

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