“…For example, the MCS product line presented in section 2 can be specified, by using the rules presented in subsection A, with the following program. [2,8], [3,16], [4,32]], [Processor, InternalMemory]) ˄ relation([ [1,1], [2,2], [3,3], [4,3], [5,3], [6 ,4], [7,4], [8,4] Figure 3 illustrates the constraints set specifying the MCS example and their interdependencies. Any constraint solver can be then used to solve the program.…”