Ganak: The making of a high-performance model counter(msoos.org)

https://www.msoos.org/2026/03/ganak-the-making-of-a-versatile-high-performance-model-counter/