Kind 2 Java API

Лицензия	Лицензия BSD 3-Clause License
Категории	Категории Java Языки программирования
Группа	Группа edu.uiowa.cs.clc
Идентификатор	Идентификатор kind2-java-api
Последняя версия	Последняя версия 0.3.0
Дата	Дата 7 июн. 2022 г.
Тип	Тип pom.sha512
Описание	Описание Kind 2 Java API An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Ссылка на сайт	Ссылка на сайт https://github.com/kind2-mc/kind2-java-api
Система контроля версий	Система контроля версий https://github.com/kind2-mc/kind2-java-api

Скачать kind2-java-api

Имя Файла	Размер
kind2-java-api-0.3.0.pom
kind2-java-api-0.3.0-sources.jar	94 KB
kind2-java-api-0.3.0-javadoc.jar	635 KB
Обзор

Зависимости

runtime (2)

Идентификатор библиотеки	Тип	Версия
com.google.code.gson : gson	jar	2.8.6
net.sourceforge.jexcelapi : jxl	jar	2.6.12

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

Kind 2 Model Checker

Parallel multi-engine SMT-based inductive model checker

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

Версия
0.3.0 7 июн. 2022 г.
0.2.2 22 янв. 2021 г.
0.2.1 14 янв. 2021 г.
0.2.0 14 янв. 2021 г.
0.1 5 янв. 2021 г.
v0.1 13 янв. 2021 г.