/gophersat

gophersat, a SAT solver in Go

Primary LanguageGoMIT LicenseMIT

Stargazers