naive-3-satnaive solver for the 3-sat problemnaive3-satnp-completenpsatisfiabilitynpproblem1.0.2 • Published 6 years ago