Ganak: The making of a high-performance model counter

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