L'approccio su cui si fonda la programmazione a vincoli è cercare uno "stato" del "mondo" in cui un grande numero di vincoli sono contemporaneamente soddisfatti. ###>The constraint programming approach is to search for a state of the world in which a large number of constraints are satisfied at the same time.