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.
For polynomial weights, try "x1" or "x0+1/2*x1-x3"
Loading WebAssembly module...
Ready - enter your input and click "Count Weighted"