UniGen Approximate Uniform Sampler in Your Browser

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

Output:

Samples: