de.prob2.commandline

The ProB 2.0 Kernel command-line interface

Лицензия	Лицензия Eclipse Public License, Version 1.0
Группа	Группа de.hhu.stups
Идентификатор	Идентификатор de.prob2.commandline
Последняя версия	Последняя версия 3.15.0
Дата	Дата 6 янв. 2022 г.
Тип	Тип pom.sha512
Описание	Описание de.prob2.commandline The ProB 2.0 Kernel command-line interface
Ссылка на сайт	Ссылка на сайт http://www.prob2.de
Система контроля версий	Система контроля версий https://github.com/hhu-stups/prob2_kernel

Скачать de.prob2.commandline

Имя Файла	Размер
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
Обзор

Зависимости

runtime (3)

Идентификатор библиотеки	Тип	Версия
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

Модули Проекта

Данный проект не имеет модулей.

de.hhu.stups

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

Версии библиотеки

Версия
3.15.0 6 янв. 2022 г.
3.14.0 22 янв. 2021 г.
3.13.0 21 янв. 2021 г.
3.12.0 18 дек. 2020 г.