13 lines
420 B
Text
13 lines
420 B
Text
import cp.
|
|
|
|
% ...
|
|
ABCD = new_map(['A'=1,'B'=2,'C'=3,'D'=4]),
|
|
|
|
% convert to integers (for the table constraint)
|
|
P1Table = [ [ABCD.get(C,0) : C in P].to_array() : P in P1],
|
|
Missing3 = new_list(4), Missing3 :: 1..4,
|
|
all_different(Missing3),
|
|
table_notin({Missing3[1],Missing3[2],Missing3[3],Missing3[4]},P1Table),
|
|
solve(Missing3),
|
|
ABCD2 = "ABCD",
|
|
println(missing11=[ABCD2[I] : I in Missing3]).
|