copper2go-api

API for copper2go workflows

Лицензия	Лицензия The Apache License, Version 2.0
Категории	Категории KeY Данные Data Formats Formal Verification
Группа	Группа io.github.keymaster65
Идентификатор	Идентификатор copper2go-api
Последняя версия	Последняя версия 3.1.0
Дата	Дата 9 янв. 2022 г.
Тип	Тип pom.sha512
Описание	Описание copper2go-api API for copper2go workflows
Ссылка на сайт	Ссылка на сайт https://github.com/Keymaster65/copper2go
Система контроля версий	Система контроля версий https://github.com/Keymaster65/copper2go/

Скачать copper2go-api

Имя Файла	Размер
copper2go-api-3.1.0.pom
copper2go-api-3.1.0-sources.jar	5 KB
copper2go-api-3.1.0-javadoc.jar	411 KB
Обзор

Зависимости

compile (3)

Идентификатор библиотеки	Тип	Версия
org.copper-engine : copper-coreengine	jar	5.4.1
org.slf4j : slf4j-api	jar	2.0.0-alpha5
com.fasterxml.jackson.core : jackson-databind	jar	2.13.1

runtime (1)

Идентификатор библиотеки	Тип	Версия
ch.qos.logback : logback-classic	jar	1.3.0-alpha12

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

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

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

Версия
3.1.0 9 янв. 2022 г.
3.0 31 дек. 2021 г.
2.0.1 17 апр. 2021 г.
2.0 17 апр. 2021 г.