Davis Putnam Automated Theorem Prover based on the Davis-Putnam algorithm Shane Aston Dr. Bram van Heuveln PHIL-4420 Computability and Logic, RPI, Spring 2015 License MIT