Randomized local search algorithm for 2-Sat problem.
Primary LanguageC++
This repository is not active