A small model checker for Computational Tree Logic
Primary LanguageRustOtherNOASSERTION
No issues in this repository yet.