Kind 2 Java API 0.3.0

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

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

Download kind2-java-api 0.3.0

Filename	Size
kind2-java-api-0.3.0.pom
kind2-java-api-0.3.0-sources.jar	100 KB
kind2-java-api-0.3.0-javadoc.jar	263 KB

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.