Propositional Model Checking Algorithm Visualizer Python