Max-SAT solver using local search algorithms.
Primary LanguagePython
No issues in this repository yet.