/sat

Learning local search heuristics for Boolean satisfiability

Primary LanguagePythonMIT LicenseMIT

Stargazers