Simple explicit CTL model checker written in Rust
Primary LanguageRustMIT LicenseMIT
No issues in this repository yet.