Propositional Model Checking Algorithm Visualizer Research