fniksic/pdl-tableaux

Tableau-based SAT solver for propositional dynamic logic