/Modal_Logic_Tableaux_Solver

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

Primary LanguagePython

Watchers