Holy Grail 2.0: From Natural Language to Constraint Models

Understand

Twenty-seven years ago, E.

• Freuder highlighted that "Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it".
• Nowadays, CP users have great modeling tools available (like Minizinc and CPMpy), allowing them to formulate the problem and then let a solver do the rest of the job, getting closer to the stated goal.
• However, this still requires the CP user to know the formalism and respect it.