Ask HN: What's the current state of constraint programming? | Dark Hacker News