myxxxsquared / NLocalSAT

NLocalSAT; Boosting Local Search with Solution Prediction
18Updated last year

Alternatives and similar repositories for NLocalSAT:

Users that are interested in NLocalSAT are comparing it to the libraries listed below