Indexed Artifacts (24.6M)

Popular Categories

The ProB 2.0 Kernel library

LicenseEPL 1.0
HomePage http://www.prob2.de
Date(Nov 14, 2017)
Filespom (6 KB)  jar (0 bytes)  View All
RepositoriesCentralSonatype
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.1.81.2.7
Logging
EPL 1.0LGPL 2.1
ch.qos.logback » logback-classic 1.1.71.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
Defect Detection
LGPL
com.google.code.findbugs » annotations 3.0.1u23.0.1
JSON Lib
Apache 2.0
com.google.code.gson » gson 1.7.12.8.9
Core Utils
Apache 2.0
com.google.guava » guava 19.031.0.1-jre
Dep Injection
Apache 2.0
com.google.inject » guice 4.05.0.1
CLI Parser
Apache 2.0
commons-cli » commons-cli 1.21.5.0
Core Utils
Apache 2.0
commons-lang » commons-lang 2.63.12.0

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

EPL 1.0
de.hhu.stups » answerparser 2.9.92.9.30

EPL 1.0
de.hhu.stups » bparser 2.9.92.9.30

EPL 1.0
de.hhu.stups » cliparser 2.9.92.9.30

EPL 1.0
de.hhu.stups » ltlparser 2.9.92.9.30

EPL 1.0
de.hhu.stups » parserbase 2.9.92.9.30

EPL 1.0
de.hhu.stups » prologlib 2.9.92.9.30

EPL 1.0
de.hhu.stups » unicode 2.9.92.9.30

EPL 1.0
de.hhu.stups » theorymapping 2.9.92.9.30

EPL 1.0
de.hhu.stups » translator 2.9.92.9.23

EPL 1.0
de.hhu.stups » eventbalg 2.9.92.9.30

EPL 1.0
de.hhu.stups » tla2bAST 1.0.81.1.4

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

BSD
de.hhu.stups » ptolemy-jfmi 1.1.0
Testing
EPL 2.0
junit » junit 4.8.25.8.2
Native Access
Apache 2.0LGPL 2.1
net.java.dev.jna » jna 3.4.05.10.0
JVM Languages
Apache 2.0
org.codehaus.groovy » groovy-all 2.4.123.0.9
Logging
MIT
org.slf4j » slf4j-api 1.7.211.7.32
Testing
Apache 2.0
org.spockframework » spock-core 1.0-groovy-2.42.0-groovy-3.0

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
Mocking
MIT
org.mockito » mockito-core 1.10.194.1.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