this repo has no description
dekker.one
1/***
2!Test
3check_against: []
4expected:
5- !Result
6 solution: !Solution
7 a:
8 - - 0
9 - 0
10 - 0
11 - 0
12 - 0
13 - 0
14 - 0
15 - 0
16 - 0
17 - 0
18 - 0
19 - 0
20 - - 0
21 - 1
22 - 0
23 - 0
24 - 0
25 - 0
26 - 0
27 - 0
28 - 0
29 - 1
30 - 2
31 - 0
32 - - 0
33 - 0
34 - 0
35 - 1
36 - 0
37 - 1
38 - 0
39 - 0
40 - 0
41 - 0
42 - 0
43 - 0
44 - - 0
45 - 0
46 - 0
47 - 2
48 - 0
49 - 2
50 - 0
51 - 0
52 - 0
53 - 0
54 - 0
55 - 0
56 - - 0
57 - 0
58 - 0
59 - 3
60 - 0
61 - 0
62 - 0
63 - 0
64 - 0
65 - 0
66 - 0
67 - 0
68 - - 0
69 - 0
70 - 0
71 - 4
72 - 0
73 - 0
74 - 1
75 - 2
76 - 3
77 - 0
78 - 0
79 - 0
80 - - 0
81 - 0
82 - 0
83 - 0
84 - 0
85 - 0
86 - 0
87 - 0
88 - 0
89 - 0
90 - 0
91 - 0
92 - - 0
93 - 1
94 - 2
95 - 0
96 - 0
97 - 0
98 - 1
99 - 0
100 - 0
101 - 0
102 - 0
103 - 0
104 - - 0
105 - 0
106 - 0
107 - 0
108 - 1
109 - 0
110 - 0
111 - 0
112 - 0
113 - 0
114 - 0
115 - 0
116 - - 0
117 - 1
118 - 0
119 - 0
120 - 2
121 - 0
122 - 0
123 - 0
124 - 0
125 - 1
126 - 0
127 - 0
128 - - 0
129 - 0
130 - 0
131 - 0
132 - 3
133 - 0
134 - 0
135 - 0
136 - 0
137 - 0
138 - 0
139 - 0
140 - - 0
141 - 0
142 - 0
143 - 0
144 - 0
145 - 0
146 - 0
147 - 0
148 - 0
149 - 0
150 - 0
151 - 0
152 col_sums:
153 - 3
154 - 1
155 - 4
156 - 3
157 - 2
158 - 2
159 - 1
160 - 1
161 - 2
162 - 1
163 row_sums:
164 - 3
165 - 2
166 - 2
167 - 1
168 - 4
169 - 0
170 - 3
171 - 1
172 - 3
173 - 1
174- !Result
175 solution: !Solution
176 a:
177 - - 0
178 - 0
179 - 0
180 - 0
181 - 0
182 - 0
183 - 0
184 - 0
185 - 0
186 - 0
187 - 0
188 - 0
189 - - 0
190 - 1
191 - 0
192 - 0
193 - 0
194 - 0
195 - 0
196 - 0
197 - 1
198 - 2
199 - 0
200 - 0
201 - - 0
202 - 2
203 - 0
204 - 1
205 - 0
206 - 0
207 - 0
208 - 0
209 - 0
210 - 0
211 - 0
212 - 0
213 - - 0
214 - 0
215 - 0
216 - 2
217 - 0
218 - 1
219 - 0
220 - 0
221 - 0
222 - 0
223 - 0
224 - 0
225 - - 0
226 - 0
227 - 0
228 - 3
229 - 0
230 - 0
231 - 0
232 - 0
233 - 0
234 - 0
235 - 0
236 - 0
237 - - 0
238 - 0
239 - 0
240 - 4
241 - 0
242 - 1
243 - 2
244 - 3
245 - 0
246 - 0
247 - 0
248 - 0
249 - - 0
250 - 0
251 - 0
252 - 0
253 - 0
254 - 0
255 - 0
256 - 0
257 - 0
258 - 0
259 - 0
260 - 0
261 - - 0
262 - 0
263 - 0
264 - 0
265 - 1
266 - 0
267 - 1
268 - 0
269 - 0
270 - 1
271 - 0
272 - 0
273 - - 0
274 - 0
275 - 0
276 - 0
277 - 2
278 - 0
279 - 0
280 - 0
281 - 0
282 - 0
283 - 0
284 - 0
285 - - 0
286 - 1
287 - 2
288 - 0
289 - 3
290 - 0
291 - 0
292 - 0
293 - 0
294 - 0
295 - 0
296 - 0
297 - - 0
298 - 0
299 - 0
300 - 0
301 - 0
302 - 0
303 - 0
304 - 0
305 - 0
306 - 0
307 - 1
308 - 0
309 - - 0
310 - 0
311 - 0
312 - 0
313 - 0
314 - 0
315 - 0
316 - 0
317 - 0
318 - 0
319 - 0
320 - 0
321 col_sums:
322 - 3
323 - 1
324 - 4
325 - 3
326 - 2
327 - 2
328 - 1
329 - 1
330 - 2
331 - 1
332 row_sums:
333 - 3
334 - 2
335 - 2
336 - 1
337 - 4
338 - 0
339 - 3
340 - 1
341 - 3
342 - 1
343- !Result
344 solution: !Solution
345 a:
346 - - 0
347 - 0
348 - 0
349 - 0
350 - 0
351 - 0
352 - 0
353 - 0
354 - 0
355 - 0
356 - 0
357 - 0
358 - - 0
359 - 1
360 - 0
361 - 0
362 - 0
363 - 0
364 - 0
365 - 0
366 - 0
367 - 1
368 - 2
369 - 0
370 - - 0
371 - 2
372 - 0
373 - 1
374 - 0
375 - 0
376 - 0
377 - 0
378 - 0
379 - 0
380 - 0
381 - 0
382 - - 0
383 - 0
384 - 0
385 - 2
386 - 0
387 - 1
388 - 0
389 - 0
390 - 0
391 - 0
392 - 0
393 - 0
394 - - 0
395 - 0
396 - 0
397 - 3
398 - 0
399 - 0
400 - 0
401 - 0
402 - 0
403 - 0
404 - 0
405 - 0
406 - - 0
407 - 0
408 - 0
409 - 4
410 - 0
411 - 1
412 - 2
413 - 3
414 - 0
415 - 0
416 - 0
417 - 0
418 - - 0
419 - 0
420 - 0
421 - 0
422 - 0
423 - 0
424 - 0
425 - 0
426 - 0
427 - 0
428 - 0
429 - 0
430 - - 0
431 - 1
432 - 0
433 - 0
434 - 1
435 - 0
436 - 1
437 - 0
438 - 0
439 - 0
440 - 0
441 - 0
442 - - 0
443 - 0
444 - 0
445 - 0
446 - 2
447 - 0
448 - 0
449 - 0
450 - 0
451 - 0
452 - 0
453 - 0
454 - - 0
455 - 0
456 - 0
457 - 0
458 - 3
459 - 0
460 - 0
461 - 0
462 - 1
463 - 2
464 - 0
465 - 0
466 - - 0
467 - 0
468 - 1
469 - 0
470 - 0
471 - 0
472 - 0
473 - 0
474 - 0
475 - 0
476 - 0
477 - 0
478 - - 0
479 - 0
480 - 0
481 - 0
482 - 0
483 - 0
484 - 0
485 - 0
486 - 0
487 - 0
488 - 0
489 - 0
490 col_sums:
491 - 3
492 - 1
493 - 4
494 - 3
495 - 2
496 - 2
497 - 1
498 - 1
499 - 2
500 - 1
501 row_sums:
502 - 3
503 - 2
504 - 2
505 - 1
506 - 4
507 - 0
508 - 3
509 - 1
510 - 3
511 - 1
512- !Result
513 solution: !Solution
514 a:
515 - - 0
516 - 0
517 - 0
518 - 0
519 - 0
520 - 0
521 - 0
522 - 0
523 - 0
524 - 0
525 - 0
526 - 0
527 - - 0
528 - 1
529 - 0
530 - 0
531 - 0
532 - 0
533 - 0
534 - 0
535 - 0
536 - 1
537 - 2
538 - 0
539 - - 0
540 - 0
541 - 0
542 - 1
543 - 0
544 - 1
545 - 0
546 - 0
547 - 0
548 - 0
549 - 0
550 - 0
551 - - 0
552 - 0
553 - 0
554 - 2
555 - 0
556 - 2
557 - 0
558 - 0
559 - 0
560 - 0
561 - 0
562 - 0
563 - - 0
564 - 0
565 - 0
566 - 3
567 - 0
568 - 0
569 - 0
570 - 0
571 - 0
572 - 0
573 - 0
574 - 0
575 - - 0
576 - 0
577 - 0
578 - 4
579 - 0
580 - 0
581 - 0
582 - 1
583 - 2
584 - 3
585 - 0
586 - 0
587 - - 0
588 - 0
589 - 0
590 - 0
591 - 0
592 - 0
593 - 0
594 - 0
595 - 0
596 - 0
597 - 0
598 - 0
599 - - 0
600 - 1
601 - 0
602 - 0
603 - 1
604 - 0
605 - 1
606 - 0
607 - 0
608 - 0
609 - 0
610 - 0
611 - - 0
612 - 0
613 - 0
614 - 0
615 - 2
616 - 0
617 - 0
618 - 0
619 - 0
620 - 0
621 - 0
622 - 0
623 - - 0
624 - 1
625 - 2
626 - 0
627 - 3
628 - 0
629 - 0
630 - 0
631 - 0
632 - 0
633 - 0
634 - 0
635 - - 0
636 - 0
637 - 0
638 - 0
639 - 0
640 - 0
641 - 1
642 - 0
643 - 0
644 - 0
645 - 0
646 - 0
647 - - 0
648 - 0
649 - 0
650 - 0
651 - 0
652 - 0
653 - 0
654 - 0
655 - 0
656 - 0
657 - 0
658 - 0
659 col_sums:
660 - 3
661 - 1
662 - 4
663 - 3
664 - 2
665 - 2
666 - 1
667 - 1
668 - 2
669 - 1
670 row_sums:
671 - 3
672 - 2
673 - 2
674 - 1
675 - 4
676 - 0
677 - 3
678 - 1
679 - 3
680 - 1
681- !Result
682 solution: !Solution
683 a:
684 - - 0
685 - 0
686 - 0
687 - 0
688 - 0
689 - 0
690 - 0
691 - 0
692 - 0
693 - 0
694 - 0
695 - 0
696 - - 0
697 - 1
698 - 0
699 - 0
700 - 0
701 - 0
702 - 0
703 - 0
704 - 0
705 - 1
706 - 2
707 - 0
708 - - 0
709 - 2
710 - 0
711 - 1
712 - 0
713 - 0
714 - 0
715 - 0
716 - 0
717 - 0
718 - 0
719 - 0
720 - - 0
721 - 0
722 - 0
723 - 2
724 - 0
725 - 1
726 - 0
727 - 0
728 - 0
729 - 0
730 - 0
731 - 0
732 - - 0
733 - 0
734 - 0
735 - 3
736 - 0
737 - 0
738 - 0
739 - 0
740 - 0
741 - 0
742 - 0
743 - 0
744 - - 0
745 - 0
746 - 0
747 - 4
748 - 0
749 - 1
750 - 2
751 - 3
752 - 0
753 - 0
754 - 0
755 - 0
756 - - 0
757 - 0
758 - 0
759 - 0
760 - 0
761 - 0
762 - 0
763 - 0
764 - 0
765 - 0
766 - 0
767 - 0
768 - - 0
769 - 0
770 - 0
771 - 0
772 - 1
773 - 0
774 - 1
775 - 0
776 - 1
777 - 0
778 - 0
779 - 0
780 - - 0
781 - 0
782 - 0
783 - 0
784 - 2
785 - 0
786 - 0
787 - 0
788 - 0
789 - 0
790 - 0
791 - 0
792 - - 0
793 - 1
794 - 2
795 - 0
796 - 3
797 - 0
798 - 0
799 - 0
800 - 0
801 - 0
802 - 0
803 - 0
804 - - 0
805 - 0
806 - 0
807 - 0
808 - 0
809 - 0
810 - 0
811 - 0
812 - 0
813 - 1
814 - 0
815 - 0
816 - - 0
817 - 0
818 - 0
819 - 0
820 - 0
821 - 0
822 - 0
823 - 0
824 - 0
825 - 0
826 - 0
827 - 0
828 col_sums:
829 - 3
830 - 1
831 - 4
832 - 3
833 - 2
834 - 2
835 - 1
836 - 1
837 - 2
838 - 1
839 row_sums:
840 - 3
841 - 2
842 - 2
843 - 1
844 - 4
845 - 0
846 - 3
847 - 1
848 - 3
849 - 1
850- !Result
851 solution: !Solution
852 a:
853 - - 0
854 - 0
855 - 0
856 - 0
857 - 0
858 - 0
859 - 0
860 - 0
861 - 0
862 - 0
863 - 0
864 - 0
865 - - 0
866 - 1
867 - 0
868 - 0
869 - 0
870 - 0
871 - 0
872 - 0
873 - 0
874 - 1
875 - 2
876 - 0
877 - - 0
878 - 0
879 - 0
880 - 1
881 - 0
882 - 1
883 - 0
884 - 0
885 - 0
886 - 0
887 - 0
888 - 0
889 - - 0
890 - 0
891 - 0
892 - 2
893 - 0
894 - 2
895 - 0
896 - 0
897 - 0
898 - 0
899 - 0
900 - 0
901 - - 0
902 - 0
903 - 0
904 - 3
905 - 0
906 - 0
907 - 0
908 - 0
909 - 0
910 - 0
911 - 0
912 - 0
913 - - 0
914 - 1
915 - 0
916 - 4
917 - 0
918 - 0
919 - 1
920 - 0
921 - 0
922 - 1
923 - 0
924 - 0
925 - - 0
926 - 0
927 - 0
928 - 0
929 - 0
930 - 0
931 - 0
932 - 0
933 - 0
934 - 0
935 - 0
936 - 0
937 - - 0
938 - 0
939 - 0
940 - 0
941 - 0
942 - 0
943 - 1
944 - 2
945 - 3
946 - 0
947 - 0
948 - 0
949 - - 0
950 - 0
951 - 0
952 - 0
953 - 1
954 - 0
955 - 0
956 - 0
957 - 0
958 - 0
959 - 0
960 - 0
961 - - 0
962 - 1
963 - 2
964 - 0
965 - 2
966 - 0
967 - 0
968 - 0
969 - 0
970 - 0
971 - 0
972 - 0
973 - - 0
974 - 0
975 - 0
976 - 0
977 - 3
978 - 0
979 - 0
980 - 0
981 - 0
982 - 0
983 - 0
984 - 0
985 - - 0
986 - 0
987 - 0
988 - 0
989 - 0
990 - 0
991 - 0
992 - 0
993 - 0
994 - 0
995 - 0
996 - 0
997 col_sums:
998 - 3
999 - 1
1000 - 4
1001 - 3
1002 - 2
1003 - 2
1004 - 1
1005 - 1
1006 - 2
1007 - 1
1008 row_sums:
1009 - 3
1010 - 2
1011 - 2
1012 - 1
1013 - 4
1014 - 0
1015 - 3
1016 - 1
1017 - 3
1018 - 1
1019- !Result
1020 solution: !Solution
1021 a:
1022 - - 0
1023 - 0
1024 - 0
1025 - 0
1026 - 0
1027 - 0
1028 - 0
1029 - 0
1030 - 0
1031 - 0
1032 - 0
1033 - 0
1034 - - 0
1035 - 1
1036 - 0
1037 - 0
1038 - 0
1039 - 0
1040 - 0
1041 - 0
1042 - 0
1043 - 1
1044 - 2
1045 - 0
1046 - - 0
1047 - 0
1048 - 0
1049 - 1
1050 - 0
1051 - 1
1052 - 0
1053 - 0
1054 - 0
1055 - 0
1056 - 0
1057 - 0
1058 - - 0
1059 - 0
1060 - 0
1061 - 2
1062 - 0
1063 - 2
1064 - 0
1065 - 0
1066 - 0
1067 - 0
1068 - 0
1069 - 0
1070 - - 0
1071 - 0
1072 - 0
1073 - 3
1074 - 0
1075 - 0
1076 - 0
1077 - 0
1078 - 0
1079 - 0
1080 - 0
1081 - 0
1082 - - 0
1083 - 0
1084 - 0
1085 - 4
1086 - 0
1087 - 0
1088 - 1
1089 - 2
1090 - 3
1091 - 0
1092 - 0
1093 - 0
1094 - - 0
1095 - 0
1096 - 0
1097 - 0
1098 - 0
1099 - 0
1100 - 0
1101 - 0
1102 - 0
1103 - 0
1104 - 0
1105 - 0
1106 - - 0
1107 - 1
1108 - 0
1109 - 0
1110 - 0
1111 - 0
1112 - 1
1113 - 0
1114 - 0
1115 - 1
1116 - 0
1117 - 0
1118 - - 0
1119 - 0
1120 - 0
1121 - 0
1122 - 1
1123 - 0
1124 - 0
1125 - 0
1126 - 0
1127 - 0
1128 - 0
1129 - 0
1130 - - 0
1131 - 1
1132 - 2
1133 - 0
1134 - 2
1135 - 0
1136 - 0
1137 - 0
1138 - 0
1139 - 0
1140 - 0
1141 - 0
1142 - - 0
1143 - 0
1144 - 0
1145 - 0
1146 - 3
1147 - 0
1148 - 0
1149 - 0
1150 - 0
1151 - 0
1152 - 0
1153 - 0
1154 - - 0
1155 - 0
1156 - 0
1157 - 0
1158 - 0
1159 - 0
1160 - 0
1161 - 0
1162 - 0
1163 - 0
1164 - 0
1165 - 0
1166 col_sums:
1167 - 3
1168 - 1
1169 - 4
1170 - 3
1171 - 2
1172 - 2
1173 - 1
1174 - 1
1175 - 2
1176 - 1
1177 row_sums:
1178 - 3
1179 - 2
1180 - 2
1181 - 1
1182 - 4
1183 - 0
1184 - 3
1185 - 1
1186 - 3
1187 - 1
1188- !Result
1189 solution: !Solution
1190 a:
1191 - - 0
1192 - 0
1193 - 0
1194 - 0
1195 - 0
1196 - 0
1197 - 0
1198 - 0
1199 - 0
1200 - 0
1201 - 0
1202 - 0
1203 - - 0
1204 - 1
1205 - 0
1206 - 0
1207 - 0
1208 - 0
1209 - 0
1210 - 0
1211 - 0
1212 - 1
1213 - 2
1214 - 0
1215 - - 0
1216 - 0
1217 - 0
1218 - 1
1219 - 0
1220 - 1
1221 - 0
1222 - 0
1223 - 0
1224 - 0
1225 - 0
1226 - 0
1227 - - 0
1228 - 0
1229 - 0
1230 - 2
1231 - 0
1232 - 2
1233 - 0
1234 - 0
1235 - 0
1236 - 0
1237 - 0
1238 - 0
1239 - - 0
1240 - 0
1241 - 0
1242 - 3
1243 - 0
1244 - 0
1245 - 0
1246 - 0
1247 - 0
1248 - 0
1249 - 0
1250 - 0
1251 - - 0
1252 - 0
1253 - 0
1254 - 4
1255 - 0
1256 - 0
1257 - 0
1258 - 1
1259 - 2
1260 - 3
1261 - 0
1262 - 0
1263 - - 0
1264 - 0
1265 - 0
1266 - 0
1267 - 0
1268 - 0
1269 - 0
1270 - 0
1271 - 0
1272 - 0
1273 - 0
1274 - 0
1275 - - 0
1276 - 1
1277 - 2
1278 - 0
1279 - 0
1280 - 0
1281 - 1
1282 - 0
1283 - 0
1284 - 0
1285 - 0
1286 - 0
1287 - - 0
1288 - 0
1289 - 0
1290 - 0
1291 - 1
1292 - 0
1293 - 0
1294 - 0
1295 - 0
1296 - 0
1297 - 0
1298 - 0
1299 - - 0
1300 - 1
1301 - 0
1302 - 0
1303 - 2
1304 - 0
1305 - 1
1306 - 0
1307 - 0
1308 - 0
1309 - 0
1310 - 0
1311 - - 0
1312 - 0
1313 - 0
1314 - 0
1315 - 3
1316 - 0
1317 - 0
1318 - 0
1319 - 0
1320 - 0
1321 - 0
1322 - 0
1323 - - 0
1324 - 0
1325 - 0
1326 - 0
1327 - 0
1328 - 0
1329 - 0
1330 - 0
1331 - 0
1332 - 0
1333 - 0
1334 - 0
1335 col_sums:
1336 - 3
1337 - 1
1338 - 4
1339 - 3
1340 - 2
1341 - 2
1342 - 1
1343 - 1
1344 - 2
1345 - 1
1346 row_sums:
1347 - 3
1348 - 2
1349 - 2
1350 - 1
1351 - 4
1352 - 0
1353 - 3
1354 - 1
1355 - 3
1356 - 1
1357extra_files: []
1358markers: []
1359options:
1360 all_solutions: false
1361solvers:
1362- gecode
1363- cbc
1364- chuffed
1365type: solve
1366
1367***/
1368
1369% Example battleships problem for battleships.mzn.
1370%
1371include "battleships.mzn.model";
1372
1373n = 10;
1374
1375a = array2d(ROW, COL,
1376 [| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
1377 | 0, _, 0, 0, 0, 0, 0, _, _, _, _, 0
1378 | 0, _, 0, _, 0, _, _, _, _, _, _, 0
1379 | 0, 0, _, _, _, _, _, _, _, _, _, 0
1380 | 0, _, _, _, _, _, _, _, _, _, _, 0
1381 | 0, _, _, _, _, _, _, _, _, _, _, 0
1382 | 0, _, _, _, _, 0, 0, _, _, _, _, 0
1383 | 0, _, _, _, _, 0, _, _, _, _, _, 0
1384 | 0, _, _, _, _, 0, 0, _, _, _, _, 0
1385 | 0, _, _, _, _, _, _, _, _, _, 0, 0
1386 | 0, _, _, _, _, _, _, _, _, _, _, 0
1387 | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
1388 |]
1389);
1390
1391constraint a[2, 2] > 0;
1392constraint a[3, 4] > 0;
1393constraint a[8, 7] > 0;
1394
1395row_sums = [3, 2, 2, 1, 4, 0, 3, 1, 3, 1];
1396
1397col_sums = [3, 1, 4, 3, 2, 2, 1, 1, 2, 1];
1398
1399n_classes = 4;
1400
1401class_sizes = [4, 3, 2, 1];
1402