ApproxMC Approximate Model Counter in Your Browser

Copy your CNF formula in the input box below and click "Run approxmc.js" to run the counter in your browser. The output will be displayed below the input box. Format description is available here. We only support unweighted instance for approximate counting.

CNF: p cnf 15 5 c p show 1 2 3 4 5 6 7 8 9 10 0 1 2 0 3 4 0 11 4 5 0 -14 11 0 1 2 3 4 5 6 7 8 -9 10 11 0

Run approxmc.js Cancel Loading WebAssembly module...

Output: