Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
Primary LanguagePython