A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0
No issues in this repository yet.