Hacker News new | ask | show | jobs
by tofflos 2365 days ago
Man, I need to reserve a weekend to play with a SAT solver.