/node-simple-sat

Simple recursive watch-list based SAT solver.

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers