adaptive-novelty

There are 1 repositories under adaptive-novelty topic.

thtran97/Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
Language:Python13 2 13