constraint programming

programming paradigm wherein relations between variables are stated in the form of constraints