SAT Solver
CaDiCaL
in JavaScript (Compiled with
Emscripten
)
2-3 times slower than when compiled locally, but you can easily try
CaDiCaL
in your browser.
Input CNF
DIMACS CNF
example1.cnf
example2.cnf
Solver Configuration
default
plain
sat
unsat
Enumerate All
Solve
Output (only the last 200 lines will be kept)