Indexed Artifacts (24.6M)

Popular Categories

The ProB 2.0 Kernel library

LicenseEPL 1.0
HomePage http://www.prob2.de
Date(Jul 12, 2019)
Filesjar (44.3 MB)  View All
RepositoriesCentral
Used By3 artifacts

Note: There is a new version for this artifact

New Version3.14.0


Compile Dependencies (29)

Category/License Group / ArtifactVersionUpdates
Logging
EPL 1.0LGPL 2.1
ch.qos.logback » logback-core 1.2.31.2.7
Logging
EPL 1.0LGPL 2.1
ch.qos.logback » logback-classic 1.2.31.2.7

EPL 1.0
com.github.krukow » clj-ds 0.0.4
Code Analyzer
Apache 2.0
com.google.code.findbugs » jsr305 3.0.2
JSON Lib
Apache 2.0
com.google.code.gson » gson 2.8.52.8.9
Core Utils
Apache 2.0
com.google.guava » guava 26.0-jre31.0.1-jre
Dep Injection
Apache 2.0
com.google.inject » guice 4.2.25.0.1
CLI Parser
Apache 2.0
commons-cli » commons-cli 1.41.5.0

EPL 1.0
de.hhu.stups » answerparser 2.9.222.9.30

EPL 1.0
de.hhu.stups » bparser 2.9.222.9.30

EPL 1.0
de.hhu.stups » cliparser 2.9.222.9.30

EPL 1.0
de.hhu.stups » eventbalg 2.9.222.9.30

EPL 1.0
de.hhu.stups » ltlparser 2.9.222.9.30

EPL 1.0
de.hhu.stups » parserbase 2.9.222.9.30

EPL 1.0
de.hhu.stups » prologlib 2.9.222.9.30

EPL 1.0
de.hhu.stups » unicode 2.9.222.9.30

EPL 1.0
de.hhu.stups » theorymapping 2.9.222.9.30

EPL 1.0
de.hhu.stups » translator 2.9.222.9.23

EPL 1.0
de.hhu.stups » alloy2b 1.1-BETA1.2

EPL 1.0
de.hhu.stups » ltl-dsl0.1.2-SNAPSHOT0.1.3

EPL 1.0
de.hhu.stups » rodin-eventb-ast 3.2.0

EPL 1.0
de.hhu.stups » tla2bAST 1.1.01.1.4

BSD
de.hhu.stups » ptolemy-jfmi 1.1.0
Native Access
Apache 2.0LGPL 2.1
net.java.dev.jna » jna 5.2.05.10.0
JVM Languages
Apache 2.0
org.codehaus.groovy » groovy 2.5.63.0.9

Apache 2.0
org.codehaus.groovy » groovy-jsr223 2.5.63.0.9

Apache 2.0
org.codehaus.groovy » groovy-nio 2.5.63.0.9

Apache 2.0
org.codehaus.groovy » groovy-xml 2.5.63.0.9
Logging
MIT
org.slf4j » slf4j-api 1.7.251.7.32

Test Dependencies (2)

Category/License Group / ArtifactVersionUpdates
Testing
EPL 2.0
junit » junit 4.125.8.2
Testing
Apache 2.0
org.spockframework » spock-core 1.2-groovy-2.52.0-groovy-3.0

Licenses

LicenseURL
Eclipse Public License, Version 1.0 http://www.eclipse.org/org/documents/epl-v10.html

Developers

NameEmailDev IdRolesOrganization
Jens Bendispostojens<at>bendisposto.debendisposto