Ganak Model Counter in Your Browser

Copy your CNF formula in the input box below and click "Count Weighted" 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. Click "Compile & visualize d-DNNF" to compile the formula into a d-DNNF circuit (ganak --compile), tidy it up (ddnnf-cleanup), and draw it as a graph (shown above the buttons) — all in your browser.

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

d-DNNF circuit:

Cleaned d4 .nnf (after ddnnf-cleanup)

Count weighted Compile & visualize d-DNNF Cancel Loading WebAssembly module...

Output: