Ganak: The making of a high-performance model counter

[zero_k]

Code & Readme: https://github.com/meelgroup/ganak/