← All repos

niklasso/minisat

View on GitHub ↗ ★ 1,202 C++

A minimalistic and high-performance SAT solver

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2017-03-13 · latest 2020-04-06