Pepin DNF Probabilistic Approximate Model Counter in Your Browser
Copy your DNF formula in the input box below and click "Run
pepin.js" to run the counter in your browser. The output will be
displayed below the input box. Format description is available here