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
20082026
-
I like this: https://github.com/niklasso/minisat It is a great example of academic code which is used in research but is also pedagogical. If all C++ was like that I don't think anybody would have a problem with C++!
comment by PaulHoule · 2020-04-06 · in Ask HN: Which open source project's C++ code is pleasure to read? -
…of libraries by reading the code. If you need a concrete example, take miniSAT [1] as one. [1] https://github.com/niklasso/minisat/blob/master/minisat/core...
comment by lifthrasiir · 2019-05-27 · in Syntax highlighters are wrong (2014) -
https://github.com/niklasso/minisat
comment by PaulHoule · 2017-03-13 · in Ask HN: What are some examples of good code?