JarCastingde.prob2.commandline
The ProB 2.0 Kernel command-line interface
| License |
License |
|---|---|
| GroupId | GroupIdde.hhu.stups |
| ArtifactId | ArtifactIdde.prob2.commandline |
| Last Version | Last Version3.15.0 |
| Release Date | Release Date |
| 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 |
Download de.prob2.commandline
Dependencies
runtime (3)
| Group / Artifact | Type | Version |
|---|---|---|
| de.hhu.stups : de.prob2.kernel | jar | 3.15.0 |
| ch.qos.logback : logback-classic | jar | 1.2.5 |
| commons-cli : commons-cli | jar | 1.4 |
Project Modules
There are no modules declared in this project.
