Hacker News new | ask | show | jobs
by fooker 2678 days ago
Encode it into a SAT instance and use a solver.