Copy your CNF formula in the input box below and click "Run cryptominisat5.js" to run the counter 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"