r-novelty
There are 1 repositories under r-novelty topic.
thtran97/Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
There are 1 repositories under r-novelty topic.
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python