DCP
definitional constraint programming