Download kind2-java-api JAR file with all dependencies
kind2-java-api from group edu.uiowa.cs.clc (version 0.3.8)
An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Artifact kind2-java-api
Group edu.uiowa.cs.clc
Version 0.3.8
Last update 06. May 2024
Tags: running constructing kind suggestions programs showing results lustre
Organization not specified
URL https://github.com/kind2-mc/kind2-java-api
License BSD 3-Clause License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.uiowa.cs.clc
Version 0.3.8
Last update 06. May 2024
Tags: running constructing kind suggestions programs showing results lustre
Organization not specified
URL https://github.com/kind2-mc/kind2-java-api
License BSD 3-Clause License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)