A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
Primary LanguagePython