84 lines
5.0 KiB
MiniZinc
84 lines
5.0 KiB
MiniZinc
predicate fzn_all_different_int(array [int] of var int: x);
|
|
var 1..9: X____00001;
|
|
var 1..9: X____00002;
|
|
var 1..9: X____00003;
|
|
var 1..9: X____00004;
|
|
var 1..9: X____00005;
|
|
var 1..9: X____00006;
|
|
var 1..9: X____00007;
|
|
var 1..9: X____00008;
|
|
var 1..9: X____00009;
|
|
var 1..9: X____00010;
|
|
var 1..9: X____00011;
|
|
var 1..9: X____00012;
|
|
var 1..9: X____00013;
|
|
var 1..9: X____00014;
|
|
var 1..9: X____00015;
|
|
var 1..9: X____00016;
|
|
var 1..9: X____00017;
|
|
var 1..9: X____00018;
|
|
var 1..9: X____00019;
|
|
var 1..9: X____00020;
|
|
var 1..9: X____00021;
|
|
var 1..9: X____00022;
|
|
var 1..9: X____00023;
|
|
var 1..9: X____00024;
|
|
var 1..9: X____00025;
|
|
var 1..9: X____00026;
|
|
var 1..9: X____00027;
|
|
var 1..9: X____00028;
|
|
var 1..9: X____00029;
|
|
var 1..9: X____00030;
|
|
var 1..9: X____00031;
|
|
var 1..9: X____00032;
|
|
var 1..9: X____00033;
|
|
var 1..9: X____00034;
|
|
var 1..9: X____00035;
|
|
var 1..9: X____00036;
|
|
var 1..9: X____00037;
|
|
var 1..9: X____00038;
|
|
var 1..9: X____00039;
|
|
var 1..9: X____00040;
|
|
var 1..9: X____00041;
|
|
var 1..9: X____00042;
|
|
var 1..9: X____00043;
|
|
var 1..9: X____00044;
|
|
var 1..9: X____00045;
|
|
var 1..9: X____00046;
|
|
var 1..9: X____00047;
|
|
var 1..9: X____00048;
|
|
var 1..9: X____00049;
|
|
var 1..9: X____00050;
|
|
var 1..9: X____00051;
|
|
var 1..9: X____00052;
|
|
var 1..9: X____00053;
|
|
array [1..81] of var 1..9: puzzle :: output_array([1..9, 1..9]) = [X____00001, X____00002, X____00003, X____00004, X____00005, X____00006, X____00007, X____00008, X____00009, X____00010, 6, 8, 4, X____00011, 1, X____00012, 7, X____00013, X____00014, X____00015, X____00016, X____00017, 8, 5, X____00018, 3, X____00019, X____00020, 2, 6, 8, X____00021, 9, X____00022, 4, X____00023, X____00024, X____00025, 7, X____00026, X____00027, X____00028, 9, X____00029, X____00030, X____00031, 5, X____00032, 1, X____00033, 6, 3, 2, X____00034, X____00035, 4, X____00036, 6, 1, X____00037, X____00038, X____00039, X____00040, X____00041, 3, X____00042, 2, X____00043, 7, 6, 9, X____00044, X____00045, X____00046, X____00047, X____00048, X____00049, X____00050, X____00051, X____00052, X____00053];
|
|
constraint fzn_all_different_int([6, 1, X____00037, 2, X____00043, 7, X____00048, X____00049, X____00050]);
|
|
constraint fzn_all_different_int([8, X____00021, 9, X____00026, X____00027, X____00028, 1, X____00033, 6]);
|
|
constraint fzn_all_different_int([X____00001, X____00002, X____00003, X____00004, X____00005, X____00006, X____00007, X____00008, X____00009]);
|
|
constraint fzn_all_different_int([X____00001, X____00002, X____00003, X____00010, 6, 8, X____00014, X____00015, X____00016]);
|
|
constraint fzn_all_different_int([X____00001, X____00010, X____00014, X____00020, X____00024, X____00031, X____00035, X____00041, X____00045]);
|
|
constraint fzn_all_different_int([X____00002, 6, X____00015, 2, X____00025, 5, 4, 3, X____00046]);
|
|
constraint fzn_all_different_int([X____00003, 8, X____00016, 6, 7, X____00032, X____00036, X____00042, X____00047]);
|
|
constraint fzn_all_different_int([X____00004, 4, X____00017, 8, X____00026, 1, 6, 2, X____00048]);
|
|
constraint fzn_all_different_int([X____00004, X____00005, X____00006, 4, X____00011, 1, X____00017, 8, 5]);
|
|
constraint fzn_all_different_int([X____00005, X____00011, 8, X____00021, X____00027, X____00033, 1, X____00043, X____00049]);
|
|
constraint fzn_all_different_int([X____00006, 1, 5, 9, X____00028, 6, X____00037, 7, X____00050]);
|
|
constraint fzn_all_different_int([X____00007, X____00008, X____00009, X____00012, 7, X____00013, X____00018, 3, X____00019]);
|
|
constraint fzn_all_different_int([X____00007, X____00012, X____00018, X____00022, 9, 3, X____00038, 6, X____00051]);
|
|
constraint fzn_all_different_int([X____00008, 7, 3, 4, X____00029, 2, X____00039, 9, X____00052]);
|
|
constraint fzn_all_different_int([X____00009, X____00013, X____00019, X____00023, X____00030, X____00034, X____00040, X____00044, X____00053]);
|
|
constraint fzn_all_different_int([X____00010, 6, 8, 4, X____00011, 1, X____00012, 7, X____00013]);
|
|
constraint fzn_all_different_int([X____00014, X____00015, X____00016, X____00017, 8, 5, X____00018, 3, X____00019]);
|
|
constraint fzn_all_different_int([X____00020, 2, 6, 8, X____00021, 9, X____00022, 4, X____00023]);
|
|
constraint fzn_all_different_int([X____00020, 2, 6, X____00024, X____00025, 7, X____00031, 5, X____00032]);
|
|
constraint fzn_all_different_int([X____00022, 4, X____00023, 9, X____00029, X____00030, 3, 2, X____00034]);
|
|
constraint fzn_all_different_int([X____00024, X____00025, 7, X____00026, X____00027, X____00028, 9, X____00029, X____00030]);
|
|
constraint fzn_all_different_int([X____00031, 5, X____00032, 1, X____00033, 6, 3, 2, X____00034]);
|
|
constraint fzn_all_different_int([X____00035, 4, X____00036, 6, 1, X____00037, X____00038, X____00039, X____00040]);
|
|
constraint fzn_all_different_int([X____00035, 4, X____00036, X____00041, 3, X____00042, X____00045, X____00046, X____00047]);
|
|
constraint fzn_all_different_int([X____00038, X____00039, X____00040, 6, 9, X____00044, X____00051, X____00052, X____00053]);
|
|
constraint fzn_all_different_int([X____00041, 3, X____00042, 2, X____00043, 7, 6, 9, X____00044]);
|
|
constraint fzn_all_different_int([X____00045, X____00046, X____00047, X____00048, X____00049, X____00050, X____00051, X____00052, X____00053]);
|
|
solve satisfy;
|