Hacker News new | ask | show | jobs
by stm17 2187 days ago
Fascinating! I am going to try that. I’ve been trying to teach myself SAT solvers and constraint systems to approach the problem at my junior college.