There are 0 repository under r-novelty topic.
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python