alloy2b

Лицензия	Лицензия Eclipse Public License, Version 1.0
Группа	Группа de.hhu.stups
Идентификатор	Идентификатор alloy2b
Последняя версия	Последняя версия 1.08-BETA
Дата	Дата 10 февр. 2019 г.
Тип	Тип zip
Описание	Описание alloy2b The Parser for our translation from Alloy to B returning a Prolog Term.
Ссылка на сайт	Ссылка на сайт https://github.com/hhu-stups/alloy2b
Система контроля версий	Система контроля версий https://github.com/hhu-stups/alloy2b

Скачать alloy2b

Имя Файла	Размер
alloy2b-1.08-BETA.pom
alloy2b-1.08-BETA.zip	27 MB
alloy2b-1.08-BETA-sources.jar	9 KB
alloy2b-1.08-BETA-javadoc.jar	261 bytes
Обзор

Зависимости

compile (1)

Идентификатор библиотеки	Тип	Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.3.21

test (1)

Идентификатор библиотеки	Тип	Версия
junit : junit	jar	4.12

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

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

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

Версия
1.08-BETA 10 февр. 2019 г.
1.07-BETA 9 февр. 2019 г.
1.06-BETA 9 февр. 2019 г.
1.05-BETA 9 февр. 2019 г.
1.03-BETA 8 февр. 2019 г.
1.2 10 мар. 2020 г.
1.02-BETA 8 февр. 2019 г.
1.1 6 янв. 2020 г.
1.1-BETA 10 февр. 2019 г.
1.0-BETA 24 нояб. 2018 г.