KrisChambers / 3sat

Simple SAT Solver

Simple SAT

This is an implementation of knuth's "minimal decent SAT solver" introduced here

Additionally, this paper also explains the watched literal techinique used here.

Example

const sat = new SAT();
sat.addClauseFromString(
  "A ~B",
  "A B"
)

const solution = sat.solve()

TODO

1. Implement known improvements.
2. Make iterative instead of recursive. (SAT formulas can get really big)