Kind 2 Java API

An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.

License	License BSD 3-Clause License
Categories	Categories Java Languages
GroupId	GroupId edu.uiowa.cs.clc
ArtifactId	ArtifactId kind2-java-api
Last Version	Last Version 0.3.0
Release Date	Release Date Jun 7, 2022
Type	Type pom.sha512
Description	Description Kind 2 Java API An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Project URL	Project URL https://github.com/kind2-mc/kind2-java-api
Source Code Management	Source Code Management https://github.com/kind2-mc/kind2-java-api

Download kind2-java-api

Filename	Size
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
Browse

Dependencies

runtime (2)

Group / Artifact	Type	Version
com.google.code.gson : gson	jar	2.8.6
net.sourceforge.jexcelapi : jxl	jar	2.6.12

Project Modules

There are no modules declared in this project.

edu.uiowa.cs.clc

Kind 2 Model Checker

Parallel multi-engine SMT-based inductive model checker

Versions

Version
0.3.0 Jun 7, 2022
0.2.2 Jan 22, 2021
0.2.1 Jan 14, 2021
0.2.0 Jan 14, 2021
0.1 Jan 5, 2021
v0.1 Jan 13, 2021