Ask HN: What's the current state of constraint programming?