A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
Primary LanguageJava