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