/sat-solver-js

Simple SAT solver for javascript

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers