meelgroup/ganak
View on GitHub ↗ ★ 67 C++
High-performance model counter
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2025-08-06 · latest 2026-03-02
20082026
-
Code & Readme: https://github.com/meelgroup/ganak/
comment by zero_k · 2026-03-02 · in Ganak: The making of a high-performance model counter -
…probabilities), that is currently SOTA [2] [1] https://github.com/msoos/cryptominisat/ [2] https://github.com/meelgroup/ganak/
comment by zero_k · 2025-10-28 · in SATisfying Solutions to Difficult Problems -
…most SOTA model counters (and so I as well) do. [1] https://github.com/msoos/cryptominisat/ [2] https://github.com/meelgroup/ganak/ [3] https://mccompetition.org/
comment by zero_k · 2025-08-06 · in Some thoughts on journals, refereeing, and the P vs NP problem