Download edu.uiowa.cs.clc JAR files with all dependencies
kind2-java-api from group edu.uiowa.cs.clc (version 0.4.1)
An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
0 downloads
Artifact kind2-java-api
Group edu.uiowa.cs.clc
Version 0.4.1
Last update 18. June 2024
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.4.1
Last update 18. June 2024
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)