Select Code to Download

:- use_module(library(clpfd)).

...
               [[2, 2, 1, 1, 0, 2, 0], [1, 0, 2, 1, 2, 0, 2]],
               [[2, 0, 1, 1, 2, 0, 2], [0, 1, 2, 2, 0, 1, 2]],
               [[0, 2, 2, 0, 1, 2, 1], [1, 0, 1, 2, 2, 2, 0]]]).

% 813,486,620 inferences, 296.670 CPU in 298.033 seconds (100% CPU, 27
+42059 Lips)
solve([2, 1, 0, 0, 2, 2, 1], [0, 2, 2, 1, 1, 0, 2], 40916, 4909920)
...
% 392,855,329 inferences, 132.700 CPU in 133.397 seconds (99% CPU, 296
+0477 Lips)
solve([0, 2, 0, 1, 2, 1, 2], [1, 2, 0, 2, 1, 0, 2], 11227, 1347240)
...