Showing 1-3 of 3 packages
2SAT solver
2-Satisfiability code bricks for JavaScript
Boolean formula satisfiability algorithms for JavaScript