Die
Constraintprogrammierung (engl.:
Constraint Programming) ist ein
Programmierparadigma, das seit Mitte der
1980er Jahre entwickelt wird und sich als natürliche Weiterentwicklung der
logischen Programmierung versteht. Logische und Constraintprogrammierung werden typischerweise in Kombination eingesetzt, was zu einer erheblichen Steigerung der Ausdrucksstärke, Flexibilität und Effektivität der Paradigmen führt.