3 ms·

There is a SAT solver (mine, actually :) ) that's also complied to WASM, and online: https://msoos.github.io/cryptominisat_web/ https://msoos.github.io/cryptom

• SilasX 7y ago
  Well done! I'm taking a course on SAT solvers [1], but it uses some lisp format and lets you input from a richer language (e.g. distinct, if-then-else, plus integers rather than just booleans), so I had to look up the conjunctive normal format in your app. The readme for this repo [2] sent me here [3]. Pretty simple format. I love how fast your app is! [1] https://www.coursera.org/learn/automated-reasoning-sat/ https://www.coursera.org/learn/automated-reasoning-sat/ [2] https://github.com/msoos/cryptominisat https://github.com/msoos/cryptominisat [3] http://www.satcompetition.org/2009/format-benchmarks2009.html http://www.satcompetition.org/2009/format-benchmarks2009.htm...