Hacker News new | ask | show | jobs
by nonethewiser 1796 days ago
Even if all of that is true it's not an SAT problem.