I don't have many applications for constraint solving in my day-to-day work, but I genuinely think there is a need for a well-designed common language to expres

I don't have many applications for constraint solving in my day-to-day work, but I genuinely think there is a need for a well-designed common language to express constraints on data sets - non-turing-complete, easy-to-use quantifiers etc. MiniZinc is that.