License |
License |
---|---|
GroupId | GroupIdde.hhu.stups |
ArtifactId | ArtifactIdde.prob2.commandline |
Version | Version3.14.0 |
Type | Typepom.sha512 |
Description |
Descriptionde.prob2.commandline
The ProB 2.0 Kernel command-line interface
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Group / Artifact | Type | Version |
---|---|---|
de.hhu.stups : de.prob2.kernel | jar | 3.14.0 |
ch.qos.logback : logback-classic | jar | 1.2.3 |
commons-cli : commons-cli | jar | 1.4 |