CryptoMiniSat5 SAT Solver in Your Browser

Copy your CNF formula in the input box below and click "Run cryptominisat5.js" to run the SAT solver in your browser. The output will be displayed below the input box. Format description is available here

CNF: p cnf 3 2 1 2 0 -3 -1 -2 0

Run cryptominisat5.js Cancel Loading WebAssembly module...

Output: