Hacker News new | ask | show | jobs
by sam0x17 1115 days ago
We learned SAT solvers and got to implement one in one of our courses. Completely forget which one it was though.