Propositional Model Checking Algorithm Visualizer Website