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
Which to pick:
  • Dense (default) — best for small or moderate nvars (≤ ~15k). Fastest per-sample access.
  • Sparse — best when nvars is large and clauses are short (k ≤ ~5), so most variables stay unset.
  • Hash — best for very large nvars (≥ ~50k). Per-sample memory is bounded by clause length, not nvars. Limitations: assumes default 1/2 weights, and clauses must be ≤ 64 literals.
Loading WebAssembly module...
Ready - enter your input and click "Run pepin.js"