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 - 0
22 - 0
23 - 0
24 - 0
25 - 1
26 - 0
27 - 1
28 - 0
29 - 1
30 - 0
31 - 0
32 - - 0
33 - 0
34 - 0
35 - 0
36 - 0
37 - 2
38 - 0
39 - 2
40 - 0
41 - 0
42 - 0
43 - 0
44 - - 0
45 - 0
46 - 0
47 - 0
48 - 0
49 - 3
50 - 0
51 - 3
52 - 0
53 - 0
54 - 1
55 - 0
56 - - 0
57 - 1
58 - 2
59 - 0
60 - 0
61 - 4
62 - 0
63 - 0
64 - 0
65 - 0
66 - 2
67 - 0
68 - - 0
69 - 0
70 - 0
71 - 0
72 - 0
73 - 0
74 - 0
75 - 0
76 - 0
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 - 1
90 - 0
91 - 0
92 - - 0
93 - 0
94 - 0
95 - 0
96 - 0
97 - 0
98 - 1
99 - 0
100 - 0
101 - 2
102 - 0
103 - 0
104 - - 0
105 - 1
106 - 0
107 - 0
108 - 0
109 - 0
110 - 0
111 - 0
112 - 0
113 - 3
114 - 0
115 - 0
116 - - 0
117 - 0
118 - 0
119 - 0
120 - 0
121 - 1
122 - 2
123 - 0
124 - 0
125 - 0
126 - 0
127 - 0
128 - - 0
129 - 0
130 - 0
131 - 0
132 - 0
133 - 0
134 - 0
135 - 0
136 - 1
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 - 2
154 - 1
155 - 0
156 - 0
157 - 5
158 - 2
159 - 3
160 - 1
161 - 4
162 - 2
163 row_sums:
164 - 3
165 - 2
166 - 3
167 - 4
168 - 0
169 - 1
170 - 2
171 - 2
172 - 2
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 - 0
198 - 1
199 - 2
200 - 0
201 - - 0
202 - 0
203 - 0
204 - 0
205 - 0
206 - 1
207 - 2
208 - 0
209 - 0
210 - 0
211 - 0
212 - 0
213 - - 0
214 - 1
215 - 2
216 - 0
217 - 0
218 - 0
219 - 0
220 - 0
221 - 0
222 - 0
223 - 1
224 - 0
225 - - 0
226 - 0
227 - 0
228 - 0
229 - 0
230 - 1
231 - 2
232 - 3
233 - 4
234 - 0
235 - 0
236 - 0
237 - - 0
238 - 0
239 - 0
240 - 0
241 - 0
242 - 0
243 - 0
244 - 0
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 - 1
259 - 0
260 - 0
261 - - 0
262 - 0
263 - 0
264 - 0
265 - 0
266 - 0
267 - 0
268 - 1
269 - 0
270 - 2
271 - 0
272 - 0
273 - - 0
274 - 0
275 - 0
276 - 0
277 - 0
278 - 1
279 - 0
280 - 0
281 - 0
282 - 3
283 - 0
284 - 0
285 - - 0
286 - 0
287 - 0
288 - 0
289 - 0
290 - 2
291 - 0
292 - 1
293 - 0
294 - 0
295 - 0
296 - 0
297 - - 0
298 - 0
299 - 0
300 - 0
301 - 0
302 - 3
303 - 0
304 - 0
305 - 0
306 - 0
307 - 0
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 - 2
323 - 1
324 - 0
325 - 0
326 - 5
327 - 2
328 - 3
329 - 1
330 - 4
331 - 2
332 row_sums:
333 - 3
334 - 2
335 - 3
336 - 4
337 - 0
338 - 1
339 - 2
340 - 2
341 - 2
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 - 0
360 - 0
361 - 0
362 - 0
363 - 1
364 - 0
365 - 1
366 - 0
367 - 0
368 - 1
369 - 0
370 - - 0
371 - 0
372 - 0
373 - 0
374 - 0
375 - 2
376 - 0
377 - 2
378 - 0
379 - 0
380 - 0
381 - 0
382 - - 0
383 - 1
384 - 0
385 - 0
386 - 0
387 - 3
388 - 0
389 - 3
390 - 0
391 - 0
392 - 0
393 - 0
394 - - 0
395 - 2
396 - 0
397 - 0
398 - 0
399 - 4
400 - 0
401 - 0
402 - 0
403 - 1
404 - 2
405 - 0
406 - - 0
407 - 0
408 - 0
409 - 0
410 - 0
411 - 0
412 - 0
413 - 0
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 - 1
428 - 0
429 - 0
430 - - 0
431 - 0
432 - 0
433 - 0
434 - 0
435 - 0
436 - 1
437 - 0
438 - 0
439 - 2
440 - 0
441 - 0
442 - - 0
443 - 0
444 - 1
445 - 0
446 - 0
447 - 0
448 - 0
449 - 0
450 - 0
451 - 3
452 - 0
453 - 0
454 - - 0
455 - 0
456 - 0
457 - 0
458 - 0
459 - 1
460 - 2
461 - 0
462 - 0
463 - 0
464 - 0
465 - 0
466 - - 0
467 - 0
468 - 0
469 - 0
470 - 0
471 - 0
472 - 0
473 - 0
474 - 1
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 - 2
492 - 1
493 - 0
494 - 0
495 - 5
496 - 2
497 - 3
498 - 1
499 - 4
500 - 2
501 row_sums:
502 - 3
503 - 2
504 - 3
505 - 4
506 - 0
507 - 1
508 - 2
509 - 2
510 - 2
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 - 0
529 - 0
530 - 0
531 - 0
532 - 0
533 - 1
534 - 2
535 - 3
536 - 0
537 - 0
538 - 0
539 - - 0
540 - 1
541 - 0
542 - 0
543 - 0
544 - 0
545 - 0
546 - 0
547 - 0
548 - 0
549 - 1
550 - 0
551 - - 0
552 - 0
553 - 0
554 - 0
555 - 0
556 - 1
557 - 2
558 - 3
559 - 0
560 - 0
561 - 0
562 - 0
563 - - 0
564 - 1
565 - 2
566 - 0
567 - 0
568 - 0
569 - 0
570 - 0
571 - 0
572 - 1
573 - 2
574 - 0
575 - - 0
576 - 0
577 - 0
578 - 0
579 - 0
580 - 0
581 - 0
582 - 0
583 - 0
584 - 0
585 - 0
586 - 0
587 - - 0
588 - 0
589 - 0
590 - 0
591 - 0
592 - 1
593 - 0
594 - 0
595 - 0
596 - 0
597 - 0
598 - 0
599 - - 0
600 - 0
601 - 0
602 - 0
603 - 0
604 - 2
605 - 0
606 - 0
607 - 0
608 - 1
609 - 0
610 - 0
611 - - 0
612 - 0
613 - 0
614 - 0
615 - 0
616 - 3
617 - 0
618 - 0
619 - 0
620 - 2
621 - 0
622 - 0
623 - - 0
624 - 0
625 - 0
626 - 0
627 - 0
628 - 4
629 - 0
630 - 1
631 - 0
632 - 0
633 - 0
634 - 0
635 - - 0
636 - 0
637 - 0
638 - 0
639 - 0
640 - 0
641 - 0
642 - 0
643 - 0
644 - 1
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 - 2
661 - 1
662 - 0
663 - 0
664 - 5
665 - 2
666 - 3
667 - 1
668 - 4
669 - 2
670 row_sums:
671 - 3
672 - 2
673 - 3
674 - 4
675 - 0
676 - 1
677 - 2
678 - 2
679 - 2
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 - 0
698 - 0
699 - 0
700 - 0
701 - 1
702 - 0
703 - 0
704 - 0
705 - 1
706 - 2
707 - 0
708 - - 0
709 - 0
710 - 0
711 - 0
712 - 0
713 - 2
714 - 0
715 - 1
716 - 0
717 - 0
718 - 0
719 - 0
720 - - 0
721 - 0
722 - 0
723 - 0
724 - 0
725 - 3
726 - 0
727 - 2
728 - 0
729 - 0
730 - 1
731 - 0
732 - - 0
733 - 1
734 - 2
735 - 0
736 - 0
737 - 4
738 - 0
739 - 3
740 - 0
741 - 0
742 - 0
743 - 0
744 - - 0
745 - 0
746 - 0
747 - 0
748 - 0
749 - 0
750 - 0
751 - 0
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 - 1
766 - 0
767 - 0
768 - - 0
769 - 0
770 - 0
771 - 0
772 - 0
773 - 0
774 - 1
775 - 0
776 - 0
777 - 2
778 - 0
779 - 0
780 - - 0
781 - 1
782 - 0
783 - 0
784 - 0
785 - 0
786 - 0
787 - 0
788 - 0
789 - 3
790 - 0
791 - 0
792 - - 0
793 - 0
794 - 0
795 - 0
796 - 0
797 - 1
798 - 2
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 - 1
813 - 0
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 - 2
830 - 1
831 - 0
832 - 0
833 - 5
834 - 2
835 - 3
836 - 1
837 - 4
838 - 2
839 row_sums:
840 - 3
841 - 2
842 - 3
843 - 4
844 - 0
845 - 1
846 - 2
847 - 2
848 - 2
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 - 0
867 - 0
868 - 0
869 - 0
870 - 1
871 - 2
872 - 3
873 - 0
874 - 0
875 - 0
876 - 0
877 - - 0
878 - 0
879 - 0
880 - 0
881 - 0
882 - 0
883 - 0
884 - 0
885 - 0
886 - 1
887 - 2
888 - 0
889 - - 0
890 - 1
891 - 2
892 - 0
893 - 0
894 - 1
895 - 0
896 - 0
897 - 0
898 - 0
899 - 0
900 - 0
901 - - 0
902 - 0
903 - 0
904 - 0
905 - 0
906 - 0
907 - 0
908 - 1
909 - 2
910 - 3
911 - 4
912 - 0
913 - - 0
914 - 0
915 - 0
916 - 0
917 - 0
918 - 0
919 - 0
920 - 0
921 - 0
922 - 0
923 - 0
924 - 0
925 - - 0
926 - 0
927 - 0
928 - 0
929 - 0
930 - 0
931 - 1
932 - 0
933 - 0
934 - 0
935 - 0
936 - 0
937 - - 0
938 - 1
939 - 0
940 - 0
941 - 0
942 - 0
943 - 0
944 - 0
945 - 0
946 - 1
947 - 0
948 - 0
949 - - 0
950 - 0
951 - 0
952 - 0
953 - 0
954 - 1
955 - 0
956 - 0
957 - 0
958 - 2
959 - 0
960 - 0
961 - - 0
962 - 0
963 - 0
964 - 0
965 - 0
966 - 2
967 - 0
968 - 1
969 - 0
970 - 0
971 - 0
972 - 0
973 - - 0
974 - 0
975 - 0
976 - 0
977 - 0
978 - 3
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 - 2
999 - 1
1000 - 0
1001 - 0
1002 - 5
1003 - 2
1004 - 3
1005 - 1
1006 - 4
1007 - 2
1008 row_sums:
1009 - 3
1010 - 2
1011 - 3
1012 - 4
1013 - 0
1014 - 1
1015 - 2
1016 - 2
1017 - 2
1018 - 1
1019extra_files: []
1020markers: []
1021options:
1022 all_solutions: false
1023solvers:
1024- gecode
1025- cbc
1026- chuffed
1027type: solve
1028
1029***/
1030
1031% Example battleships problem for battleships.mzn.
1032%
1033include "battleships.mzn.model";
1034
1035n = 10;
1036
1037a = array2d(ROW, COL,
1038 [| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
1039 | 0, _, _, _, _, _, _, _, _, _, _, 0
1040 | 0, _, _, _, _, _, _, _, _, _, _, 0
1041 | 0, _, _, _, _, _, _, _, _, _, _, 0
1042 | 0, _, _, _, _, _, _, _, _, _, _, 0
1043 | 0, _, _, _, _, _, _, _, _, _, _, 0
1044 | 0, _, _, _, _, _, _, _, _, _, _, 0
1045 | 0, _, _, _, _, _, _, _, _, _, _, 0
1046 | 0, _, _, _, _, _, _, _, 0, _, 0, 0
1047 | 0, _, _, _, _, _, _, _, _, 0, _, 0
1048 | 0, _, _, _, _, _, _, _, _, _, _, 0
1049 | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
1050 |]
1051);
1052
1053constraint a[8, 10] > 0;
1054
1055row_sums = [3, 2, 3, 4, 0, 1, 2, 2, 2, 1];
1056
1057col_sums = [2, 1, 0, 0, 5, 2, 3, 1, 4, 2];
1058
1059n_classes = 4;
1060
1061class_sizes = [4, 3, 2, 1];
1062