Ganak Model Counter in Your Browser

Copy your CNF formula in the input box below and click "Run ganak.js" to run the counter in your browser. The output will be displayed below the input box. Example is from article on model counting. Format description is available here. For polynomial weights, try "x1" or "x0+1/2*x1-x3"

CNF: c t pwmc p cnf 3 2 c comment X = 1, Y = 2, H1 = 3 c p weight 1 4/10 0 c p weight 2 6/10 0 c p weight 3 8/10 0 1 2 0 -3 -1 -2 0 c p show 1 2 3 0

Count weighted Count polynomial (100 vars) Cancel Loading WebAssembly module...

Output: