/Sputnim

SAT solver in Nim

Primary LanguageNimMIT LicenseMIT

Stargazers