is not current version

Last Version 0.3.0 →

edu.uiowa.cs.clc:kind2-java-api 0.2.0

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 0.2.0
Type	Type pom.sha512

Download kind2-java-api 0.2.0

Filename	Size
kind2-java-api-0.2.0.pom
kind2-java-api-0.2.0-sources.jar	93 KB
kind2-java-api-0.2.0-javadoc.jar	243 KB
Browse