Davis Putnam Solver for Javascript