A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool