rf / sat.js

experiments with sat solvers in javascript

SAT solving in Javascript

I'm just chillin' out in here, writing some boolean satisfiability solvers. Nothing to see yet.