SAT Solver
Kissat
in JavaScript (Compiled with
Emscripten
)
2-3 times slower than when compiled locally, but you can easily try
Kissat
in your browser.
Input CNF
DIMACS CNF
example1.cnf
example2.cnf
Solver Configuration
default
basic
plain
sat
unsat
Solve
Output