License |
License |
---|---|
Categories |
CategoriesJava Languages |
GroupId | GroupIdedu.uiowa.cs.clc |
ArtifactId | ArtifactIdkind2-java-api |
Last Version | Last Version0.3.0 |
Release Date | Release Date |
Type | Typepom.sha512 |
Description |
DescriptionKind 2 Java API
An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
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 |
Group / Artifact | Type | Version |
---|---|---|
com.google.code.gson : gson | jar | 2.8.6 |
net.sourceforge.jexcelapi : jxl | jar | 2.6.12 |