de.prob2.kernel

The ProB 2.0 Kernel library

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

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

Имя Файла	Размер
de.prob2.kernel-3.15.0.pom
de.prob2.kernel-3.15.0-sources.jar	44 MB
de.prob2.kernel-3.15.0-javadoc.jar	1 MB
Обзор

Зависимости

compile (19)

Идентификатор библиотеки	Тип	Версия
de.hhu.stups : answerparser	jar	2.9.32
de.hhu.stups : bparser	jar	2.9.32
de.hhu.stups : ltlparser	jar	2.9.32
de.hhu.stups : parserbase	jar	2.9.32
de.hhu.stups : prologlib	jar	2.9.32
de.hhu.stups : unicode	jar	2.9.32
de.hhu.stups : theorymapping	jar	2.9.32
de.hhu.stups : value-translator	jar	0.1.2
org.codehaus.groovy : groovy	jar
org.codehaus.groovy : groovy-jsr223	jar
org.codehaus.groovy : groovy-nio	jar
org.codehaus.groovy : groovy-xml	jar
org.slf4j : slf4j-api	jar	1.7.32
com.github.krukow : clj-ds	jar	0.0.4
com.google.inject : guice	jar	5.0.1
de.hhu.stups : ltl-dsl	jar	0.1.3
de.hhu.stups : rodin-eventb-ast	jar	3.2.0
com.fasterxml.jackson.core : jackson-databind	jar
com.fasterxml.jackson.datatype : jackson-datatype-jsr310	jar

runtime (5)

Идентификатор библиотеки	Тип	Версия
com.fatboyindustrial.gson-javatime-serialisers : gson-javatime-serialisers	jar	1.1.1
com.google.guava : guava	jar	30.1.1-jre
com.google.code.gson : gson	jar	2.8.8
de.hhu.stups : alloy2b	jar	1.2
de.hhu.stups : tla2bAST	jar	1.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 г.
3.11.0 7 мая 2020 г.
3.10.0 21 февр. 2020 г.
3.9.9 12 июл. 2019 г.
3.2.11 10 авг. 2018 г.
3.2.10 24 июл. 2018 г.
3.2.9 20 мар. 2018 г.
3.2.7 14 нояб. 2017 г.
3.2.6 9 нояб. 2017 г.
3.2.5 3 нояб. 2017 г.
3.2.4 6 окт. 2017 г.
3.2.3 25 сент. 2017 г.
3.2.2 20 июл. 2017 г.
3.2.1 10 апр. 2017 г.
3.1.0 7 мар. 2017 г.
3.0.0 30 янв. 2017 г.
2.0.3 30 сент. 2016 г.
2.0.2 16 авг. 2016 г.
2.0.1 16 авг. 2016 г.
2.0.0 24 февр. 2016 г.