Hacker News new | ask | show | jobs
by agent281 738 days ago
On the other hand, they might know about SAT solvers, but not have enough time to actually experiment with it and integrate one into the language. Especially if there are other high priority issues.