|
Smiley = [ 8, 14 ]
Merry = [10, 30 ]
And = [ 10, 30 ] |
Happy = [10, 30 ]
C.Picti = [ 5, 50 ] |
|
Merry MEETS And And MEETS Happy Merry STARTS CPict1
Smiley DURING And |
CPict1 MEETS CPict2 CPict2 MEETS CPict3 CPict3 MEETS CPict4 CPict4 FINISHES Happy |
=> the specification defines a set of solutions