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
Loading WebAssembly module...
Ready - enter your input and click "Run cryptominisat5.js"