is not current version
Last Version 3.15.0

de.prob2.commandline 3.14.0

The ProB 2.0 Kernel command-line interface

License

License

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

de.prob2.commandline
Version

Version

3.14.0
Type

Type

pom.sha512
Description

Description

de.prob2.commandline
The ProB 2.0 Kernel command-line interface
Project URL

Project URL

http://www.prob2.de
Source Code Management

Source Code Management

https://github.com/hhu-stups/prob2_kernel

Download de.prob2.commandline 3.14.0

Dependencies

runtime (3)

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

Project Modules

There are no modules declared in this project.