Последняя версия

alloy2b 1.08-BETA

Лицензия	Лицензия Eclipse Public License, Version 1.0
Группа	Группа de.hhu.stups
Идентификатор	Идентификатор alloy2b
Версия	Версия 1.08-BETA
Тип	Тип 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 1.08-BETA

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

Зависимости

compile (1)

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

test (1)

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

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