Propositional Model Checking Algorithm Example Programming Projects