Download kind2-java-api JAR file with all dependencies

kind2-java-api from group edu.uiowa.cs.clc (version 0.2.2)

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.2.2
Last update 22. January 2021
Tags: constructing programs lustre results showing suggestions running kind
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)