minizinc (devel/minizinc) Updated: 3 weeks, 3 days ago Add to my watchlist
MiniZinc is a free and open-source constraint modeling language.MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers. MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.
Version: 2.9.5 License: MPL-2
GitHub
467 build(s) found
Page 1 of 5 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 133693 | 2026-03-31 12:50:52 | 0:01:25 | 51562 | build successful |
| 10.13 | 281370 | 2026-03-29 18:27:33 | 0:08:09 | 96596 | build successful |
| 13 | 105694 | 2026-03-29 5:35:08 | 0:01:52 | 40819 | build successful |
| 12.arm64 | 162272 | 2026-03-28 17:35:30 | 0:01:51 | 54874 | build successful |
| 12 | 153051 | 2026-03-28 10:14:46 | 0:09:09 | 55144 | build successful |
| 10.15 | 230952 | 2026-03-26 2:21:02 | 0:05:27 | 76303 | build successful |
| 14 | 79210 | 2026-03-26 2:10:22 | 0:02:20 | 29363 | build successful |
| 13.arm64 | 100419 | 2026-03-25 18:02:35 | 0:02:10 | 40907 | build successful |
| 10.6.x86_64 | 265712 | 2026-03-25 8:05:56 | 0:07:06 | 78939 | build successful |
| 10.11 | 315894 | 2026-03-25 7:52:18 | 0:02:46 | 106075 | failed install-port |
| 10.14 | 254288 | 2026-03-25 4:40:57 | 0:06:31 | 87189 | build successful |
| 11 | 204689 | 2026-03-24 20:40:18 | 0:04:28 | 66584 | build successful |
| 10.12 | 326385 | 2026-03-24 10:58:41 | 0:05:42 | 104940 | build successful |
| 10.8 | 232071 | 2026-03-24 10:44:06 | 0:19:26 | 76298 | build successful |
| 14.arm64 | 73794 | 2026-03-24 10:24:50 | 0:03:24 | 28933 | build successful |
| 26.arm64 | 30972 | 2026-03-24 7:01:34 | 0:07:27 | 5753 | build successful |
| 10.9 | 333159 | 2026-03-24 4:42:29 | 0:07:21 | 105672 | build successful |
| 10.6 | 228131 | 2026-03-23 19:33:17 | 0:08:25 | 78862 | build successful |
| 10.7 | 246953 | 2026-03-23 13:52:00 | 0:33:08 | 78191 | build successful |
| 15.arm64 | 40172 | 2026-03-23 13:08:44 | 0:01:41 | 16018 | build successful |
| 15 | 53166 | 2026-03-23 13:01:20 | 0:01:48 | 16863 | build successful |
| 10.10 | 324850 | 2026-03-23 12:49:55 | 0:02:38 | 105783 | failed install-port |
| 10.11 | 309002 | 2026-01-20 23:53:20 | 0:01:40 | 104181 | failed install-port |
| 10.10 | 317596 | 2026-01-20 19:34:59 | 0:01:33 | 104032 | failed install-port |
| 11.arm64 | 129211 | 2026-01-04 1:45:29 | 0:01:20 | 49534 | build successful |
| 13 | 100820 | 2026-01-03 21:15:16 | 0:01:52 | 38737 | build successful |
| 12.arm64 | 157290 | 2026-01-03 21:13:20 | 0:01:34 | 52742 | build successful |
| 15 | 45252 | 2026-01-03 18:56:17 | 0:02:06 | 14454 | build successful |
| 13.arm64 | 94604 | 2026-01-03 18:29:42 | 0:01:24 | 38523 | build successful |
| 26.arm64 | 23803 | 2026-01-03 18:08:21 | 0:01:26 | 3355 | build successful |
| 10.14 | 248068 | 2026-01-03 3:16:46 | 0:05:38 | 85051 | build successful |
| 11 | 197270 | 2026-01-03 3:15:37 | 0:04:35 | 64133 | build successful |
| 10.15 | 224848 | 2026-01-03 3:14:55 | 0:05:38 | 74174 | build successful |
| 12 | 146977 | 2026-01-03 3:14:25 | 0:06:50 | 53029 | build successful |
| 14 | 72586 | 2026-01-03 3:13:39 | 0:01:47 | 26979 | build successful |
| 15.arm64 | 33374 | 2026-01-03 3:12:58 | 0:01:38 | 13647 | build successful |
| 14.arm64 | 68070 | 2026-01-03 3:12:38 | 0:01:43 | 26613 | build successful |
| 10.6 | 218072 | 2026-01-03 3:12:16 | 0:07:22 | 76330 | build successful |
| 10.12 | 317749 | 2026-01-03 3:11:54 | 0:03:46 | 102439 | build successful |
| 10.6.x86_64 | 255326 | 2026-01-03 3:11:15 | 0:06:47 | 76396 | build successful |
| 10.11 | 307283 | 2026-01-03 3:10:52 | 0:02:51 | 103702 | failed install-port |
| 10.9 | 323826 | 2026-01-03 3:10:34 | 0:08:51 | 103229 | build successful |
| 10.8 | 223210 | 2026-01-03 3:10:14 | 0:07:55 | 74025 | build successful |
| 10.7 | 238578 | 2026-01-03 3:09:54 | 0:07:12 | 75995 | build successful |
| 10.13 | 274507 | 2026-01-03 3:09:31 | 0:03:55 | 94419 | build successful |
| 10.10 | 315770 | 2026-01-03 3:08:47 | 0:01:39 | 103554 | failed install-port |
| 26.arm64 | 8942 | 2025-09-26 22:58:35 | 0:01:14 | 498 | build successful |
| 11.arm64 | 114923 | 2025-08-22 23:27:47 | 0:01:19 | 42674 | build successful |
| 10.11 | 297140 | 2025-08-15 9:17:15 | 0:02:44 | 99970 | failed install-port |
| 10.10 | 304887 | 2025-08-15 8:08:44 | 0:03:02 | 99819 | failed install-port |
| 12.arm64 | 148180 | 2025-08-14 22:49:15 | 0:02:32 | 46175 | build successful |
| 14 | 60038 | 2025-04-13 23:28:50 | 0:01:48 | 20413 | build successful |
| 15.arm64 | 18995 | 2025-04-13 19:23:57 | 0:01:10 | 7021 | build successful |
| 13.arm64 | 82335 | 2025-04-13 18:15:42 | 0:01:08 | 31932 | build successful |
| 14.arm64 | 55328 | 2025-04-13 9:33:03 | 0:01:05 | 20028 | build successful |
| 15 | 30863 | 2025-04-13 7:18:04 | 0:01:57 | 7831 | build successful |
| 10.6 | 198847 | 2025-04-13 4:10:47 | 0:07:06 | 69660 | build successful |
| 10.9 | 305445 | 2025-04-13 4:10:17 | 0:09:46 | 96618 | build successful |
| 10.8 | 205608 | 2025-04-13 4:09:38 | 0:10:53 | 67407 | build successful |
| 10.7 | 220201 | 2025-04-13 4:09:16 | 0:09:22 | 69370 | build successful |
| 10.6.x86_64 | 234887 | 2025-04-13 4:08:54 | 0:06:14 | 69711 | build successful |
| 10.11 | 290718 | 2025-04-13 4:08:26 | 0:03:02 | 97104 | failed install-port |
| 10.12 | 300789 | 2025-04-13 4:08:03 | 0:04:34 | 95859 | build successful |
| 11 | 180909 | 2025-04-13 4:07:39 | 0:06:01 | 57568 | build successful |
| 10.13 | 258518 | 2025-04-13 4:07:06 | 0:05:20 | 87882 | build successful |
| 10.10 | 297876 | 2025-04-13 4:06:44 | 0:02:21 | 96945 | failed install-port |
| 10.15 | 209216 | 2025-04-13 4:06:24 | 0:04:45 | 67620 | build successful |
| 10.14 | 232427 | 2025-04-13 4:06:04 | 0:05:29 | 78514 | build successful |
| 12 | 131783 | 2025-04-13 4:05:45 | 0:06:21 | 46443 | build successful |
| 13 | 89476 | 2025-04-13 4:05:26 | 0:01:47 | 32185 | build successful |
| 15.arm64 | 1607 | 2025-02-25 10:00:03 | 0:01:16 | 284 | build successful |
| 13 | 80524 | 2024-10-20 19:54:04 | 0:04:10 | 26699 | build successful |
| 12 | 120846 | 2024-10-19 0:29:44 | 0:06:35 | 40963 | build successful |
| 14 | 50115 | 2024-10-18 15:11:30 | 0:04:35 | 14905 | build successful |
| 10.7 | 206505 | 2024-10-18 12:39:06 | 0:04:53 | 63830 | build successful |
| 10.8 | 192676 | 2024-10-18 8:56:23 | 0:06:59 | 61880 | build successful |
| 10.14 | 221081 | 2024-10-18 8:56:00 | 0:04:49 | 73061 | build successful |
| 14.arm64 | 44509 | 2024-10-18 7:39:59 | 0:01:05 | 14540 | build successful |
| 10.13 | 246924 | 2024-10-18 5:59:59 | 0:04:02 | 82391 | build successful |
| 12.arm64 | 139509 | 2024-10-18 3:49:17 | 0:01:06 | 40849 | build successful |
| 13.arm64 | 73236 | 2024-10-18 3:23:15 | 0:01:20 | 26450 | build successful |
| 10.6.x86_64 | 219148 | 2024-10-18 3:04:30 | 0:05:16 | 64123 | build successful |
| 10.12 | 288244 | 2024-10-18 3:03:55 | 0:03:47 | 90289 | build successful |
| 11 | 169503 | 2024-10-18 0:32:50 | 0:05:05 | 52078 | build successful |
| 15 | 15680 | 2024-10-18 0:27:06 | 0:01:45 | 1992 | build successful |
| 10.10 | 284918 | 2024-10-17 23:49:47 | 0:01:55 | 91415 | failed install-port |
| 10.11 | 278670 | 2024-10-17 23:36:14 | 0:03:15 | 91577 | failed install-port |
| 10.9 | 292399 | 2024-10-17 23:35:50 | 0:07:09 | 91087 | build successful |
| 10.6 | 183295 | 2024-10-17 23:34:33 | 0:06:27 | 64081 | build successful |
| 10.15 | 198166 | 2024-10-17 23:34:11 | 0:05:56 | 62134 | build successful |
| 15 | 1907 | 2024-10-01 4:36:03 | 0:01:37 | 284 | build successful |
| 13 | 79514 | 2024-10-01 2:58:39 | 0:02:56 | 26133 | build successful |
| 13.arm64 | 72063 | 2024-09-30 2:23:55 | 0:00:52 | 25883 | build successful |
| 14 | 48955 | 2024-09-30 0:29:09 | 0:02:27 | 14338 | build successful |
| 10.7 | 205334 | 2024-09-29 23:10:35 | 0:06:52 | 63261 | build successful |
| 10.6.x86_64 | 217768 | 2024-09-29 23:10:15 | 0:07:02 | 63555 | build successful |
| 14.arm64 | 43344 | 2024-09-29 22:24:04 | 0:00:54 | 13975 | build successful |
| 10.11 | 277631 | 2024-09-29 19:14:40 | 0:01:53 | 91010 | failed install-port |
| 10.6 | 181894 | 2024-09-29 19:13:45 | 0:05:36 | 63512 | build successful |
| 10.8 | 191578 | 2024-09-29 19:09:54 | 0:08:38 | 61313 | build successful |