Propositional Model Checking Algorithm Visualizer Github