Villkorsprogrammering

Villkorsprogrammering, på engelska constraint programming, är ett programmeringsparadigm i vilket ett antal variabler med givna domäner skall tilldelas värden i enlighet med ett antal villkor. Området har av Association for Computing Machinery utpekats som strategiskt viktigt.

Vid villkorsprogrammering behöver inte någon sekvens specificeras, det är upp till den underliggande mjukvaran att testa kombinationer till dess en lösning hittats eller till dess det konstaterats att ingen lösning finns.