Hacker News new | ask | show | jobs
by PaulHoule 3446 days ago
I have seen some painful C and Python written by luminaries. On the other hand, the MiniSAT source code is 500 lines of beautiful C++.