← The Boolean Satisfiability Problem (SAT) - Ptolemy Project