Primary LanguageJavaScriptMIT LicenseMIT
This is a random-k-SAT implementation in asm.js. Why? FOR SCIENCE!