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