DCP

definitional constraint programming