Hacker News new | ask | show | jobs
by karpierz 1047 days ago
I'd recommend starting here: http://minisat.se/