Model Counting Competition Submission of Ganak + Approxmc 2025
-
Updated
Aug 9, 2025 - Shell
Model Counting Competition Submission of Ganak + Approxmc 2025
A Python implementation and statistical analysis of the Morris Counter, a probabilistic data structure for approximate counting. Includes multi-counter and generalized base variants.
A small, dependency-free [Count-Min Sketch](https://en.wikipedia.org/wiki/Count%E2%80%93min_sketch) in Rust —
Add a description, image, and links to the approximate-counting topic page so that developers can more easily learn about it.
To associate your repository with the approximate-counting topic, visit your repo's landing page and select "manage topics."