Group: Uiowa CS Clc
Sort by:Popular▼
✓Popular ✓Newest

1.Kind 2 Java API

edu.uiowa.cs.clc » kind2-java-api BSD

An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.

Last Release on Oct 31, 2026