/jstar-rs

Rust bindings for the J* language API

Primary LanguageRustMIT LicenseMIT

jstar-rs

Rust bindings to the J* language API.
Still a work in progress...