← All repos

msoos/cryptominisat

View on GitHub ↗ ★ 944 C++

An advanced SAT solver

5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2016-09-11 · latest 2025-10-28