Propositional Model Checking Algorithm Visualizer Project