A parallel program for solving unweighted MAX-SAT problems.
Primary LanguageJava
No issues in this repository yet.