A simple k-SAT problem solver.
Primary LanguageOCamlMIT LicenseMIT
A simple k-SAT problem solver based on the Quine-McCLuskey method.