/sat-problem-solver

A simple k-SAT problem solver.

Primary LanguageOCamlMIT LicenseMIT

Stargazers