Logic Solver: a boolean satisfiability solver written in JavaScriptgithub.com/meteor1 pointprimigenus11 years ago