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.