naive-3-sat

naive solver for the 3-sat problem

v1.0.2 URL: https://unpkg.com/naive-3-sat@1.0.2/NaiveSat.js

Open Browse Files

naive 3-sat np-complete np satisfiability np problem