Logic Solver: a boolean satisfiability solver written in JavaScript | Hacker News Reader