An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
Newer Version Available
Licenses
| License | URL |
|---|---|
| BSD 3-Clause License | https://github.com/kind2-mc/kind2-java-api/blob/master/LICEN ... |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Daniel Larraz | daniel-larraz<at>uiowa.edu | daniel-larraz |