de.prob2.commandline

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
Last Version	Last Version 3.15.0
Release Date	Release Date 06-Jan-2022
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

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

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.

de.hhu.stups

Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

Versions

Version
3.15.0 06-Jan-2022
3.14.0 22-Jan-2021
3.13.0 21-Jan-2021
3.12.0 18-Dec-2020