Ganak: The making of a high-performance model counter(msoos.org)
msoos.org
Ganak: The making of a high-performance model counter
https://www.msoos.org/2026/03/ganak-the-making-of-a-versatile-high-performance-model-counter/
1 comments
Code & Readme: https://github.com/meelgroup/ganak/