is not current version

Last Version 0.3.0 →

edu.uiowa.cs.clc:kind2-java-api v0.1

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

Categories	Categories Java Languages
GroupId	GroupId edu.uiowa.cs.clc
ArtifactId	ArtifactId kind2-java-api
Version	Version v0.1
Type	Type pom.sha512

Download kind2-java-api v0.1

Filename	Size
kind2-java-api-v0.1.pom
kind2-java-api-v0.1-sources.jar	94 KB
kind2-java-api-v0.1-javadoc.jar	244 KB
Browse