Search
naive-3-sat
naive solver for the 3-sat problem
1.0.0
1.0.1
1.0.2
main:
https:/unpkg.com/naive-3-sat@1.0.2/NaiveSat.js
Copy URL
Browse on unpkg