3 ms·Logic Solver: a boolean satisfiability solver written in JavaScript1 points by primigenus 11y ago