Skip to content

Commit

Permalink
Updated the search annotation to the current version of MiniZinc.
Browse files Browse the repository at this point in the history
  • Loading branch information
@schutta
schutta committed Mar 15, 2017
1 parent 25b34b8 commit a3bfd29
Show file tree
Hide file tree
Showing 60 changed files with 60 additions and 60 deletions.
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-0_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-10_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-11_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-12_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-13_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-14_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-1_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-2_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-3_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-4_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-5_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-6_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-7_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-8_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-10-67-9_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -152,5 +152,5 @@ constraint all_different([v_8, v_18, v_28, v_38, v_48, v_58, v_68, v_78, v_88, v

constraint all_different([v_9, v_19, v_29, v_39, v_49, v_59, v_69, v_79, v_89, v_99]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-0_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-10_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-11_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-12_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-13_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-14_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-1_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-2_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-3_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-4_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-5_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-6_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-7_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-8_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-15-120-9_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -310,5 +310,5 @@ constraint all_different([v_13, v_28, v_43, v_58, v_73, v_88, v_103, v_118, v_13

constraint all_different([v_14, v_29, v_44, v_59, v_74, v_89, v_104, v_119, v_134, v_149, v_164, v_179, v_194, v_209, v_224]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-0_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-10_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-11_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-12_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-13_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-14_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-1_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-2_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-3_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-4_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-5_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-6_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-7_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-8_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-20-187-9_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -522,5 +522,5 @@ constraint all_different([v_18, v_38, v_58, v_78, v_98, v_118, v_138, v_158, v_1

constraint all_different([v_19, v_39, v_59, v_79, v_99, v_119, v_139, v_159, v_179, v_199, v_219, v_239, v_259, v_279, v_299, v_319, v_339, v_359, v_379, v_399]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-25-264-0_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -790,5 +790,5 @@ constraint all_different([v_23, v_48, v_73, v_98, v_123, v_148, v_173, v_198, v_

constraint all_different([v_24, v_49, v_74, v_99, v_124, v_149, v_174, v_199, v_224, v_249, v_274, v_299, v_324, v_349, v_374, v_399, v_424, v_449, v_474, v_499, v_524, v_549, v_574, v_599, v_624]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-25-264-10_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -790,5 +790,5 @@ constraint all_different([v_23, v_48, v_73, v_98, v_123, v_148, v_173, v_198, v_

constraint all_different([v_24, v_49, v_74, v_99, v_124, v_149, v_174, v_199, v_224, v_249, v_274, v_299, v_324, v_349, v_374, v_399, v_424, v_449, v_474, v_499, v_524, v_549, v_574, v_599, v_624]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-25-264-11_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -790,5 +790,5 @@ constraint all_different([v_23, v_48, v_73, v_98, v_123, v_148, v_173, v_198, v_

constraint all_different([v_24, v_49, v_74, v_99, v_124, v_149, v_174, v_199, v_224, v_249, v_274, v_299, v_324, v_349, v_374, v_399, v_424, v_449, v_474, v_499, v_524, v_549, v_574, v_599, v_624]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
2 changes: 1 addition & 1 deletion QCP/qcp-25-264-12_ext.mzn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -790,5 +790,5 @@ constraint all_different([v_23, v_48, v_73, v_98, v_123, v_148, v_173, v_198, v_

constraint all_different([v_24, v_49, v_74, v_99, v_124, v_149, v_174, v_199, v_224, v_249, v_274, v_299, v_324, v_349, v_374, v_399, v_424, v_449, v_474, v_499, v_524, v_549, v_574, v_599, v_624]);

solve ::int_search(var_array, "first_fail", "indomain", "complete") satisfy;
solve ::int_search(var_array, first_fail, indomain, complete) satisfy;
include "globals.mzn";
Loading

0 comments on commit a3bfd29

Please sign in to comment.