im88888/Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
Python
Stargazers
No one’s star this repository yet.
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
Python
No one’s star this repository yet.