CMSGen Uniform-like Sampler in Your Browser

Copy your CNF formula in the input box below and click "Run cmsgen.js" to run the CMSGen 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 cmsgen.js Cancel Loading WebAssembly module...

Output:

Samples: