GitHub repository: khanh101/walksat
Primary language: Python
Description: walksat solver written with cpp and cython