La Programación con restricciones es un paradigma, donde las relaciones entre las variables son expresadas en función de restricciones. Actualmente es usada como una tecnología de software para la descripción y solución de problemas de combinatoria, especialmente en las áreas de planificación y calendarización.