prob2-kernel

The ProB 2.0 Kernel

Homepage POM file JAR file Javadoc

'de.hhu.stups:de.prob2.kernel:2.0.0'

<dependency>
	<groupId>de.hhu.stups</groupId>
	<artifactId>de.prob2.kernel</artifactId>
	<version>2.0.0</version>
</dependency>

<dependency org="de.hhu.stups" name="de.prob2.kernel" rev="2.0.0"/>

"de.hhu.stups", "de.prob2.kernel", "2.0.0"

Dependencies

Compile dependencies

ch.qos.logback » logback-classic » 0.9.29
ch.qos.logback » logback-core » 0.9.29
com.github.krukow » clj-ds » 0.0.4
com.google.code.gson » gson » 1.7.1
com.google.guava » guava » 18.0
com.google.inject » guice » 3.0
commons-cli » commons-cli » 1.2
commons-lang » commons-lang » 2.6
de.hhu.stups » answerparser » 2.5.1
de.hhu.stups » bparser » 2.5.1
de.hhu.stups » cliparser » 2.5.1
de.hhu.stups » eventbalg » 2.5.1
de.hhu.stups » ltlparser » 2.5.1
de.hhu.stups » parserbase » 2.5.1
de.hhu.stups » prologlib » 2.5.1
de.hhu.stups » ptolemy-jfmi » 1.1.0
de.hhu.stups » rodin-eventb-ast » 3.2.0
de.hhu.stups » theorymapping » 2.5.1
de.hhu.stups » tla2bAST » 1.0.8
de.hhu.stups » translator » 2.5.1
de.hhu.stups » unicode » 2.5.1
junit » junit » 4.8.2
net.java.dev.jna » jna » 3.4.0
org.codehaus.groovy » groovy-all » 2.3.0
org.slf4j » slf4j-api » 1.6.1
org.spockframework » spock-core » 0.7-groovy-2.0

Test dependencies

org.gebish » geb-spock » 0.9.1
org.mockito » mockito-core » 1.8.5