An attempt at writing a modern SAT solver in JavaScript.