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 Eclipse Public License, Version 1.0
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

Filename	Size
de.prob2.commandline-3.14.0.pom
de.prob2.commandline-3.14.0-sources.jar	3 KB
de.prob2.commandline-3.14.0-javadoc.jar	17 KB
Browse

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.