Hacker News new | ask | show | jobs
by sinuhe69 499 days ago
A practical programmer will use a SAT solver. And bang!, problem solved! :)