minizinc (devel/minizinc) Updated: 1 week, 2 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.4 License: MPL-2
GitHub
443 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 | 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 |
| 10.9 | 291290 | 2024-09-29 19:07:07 | 0:08:08 | 90520 | build successful |
| 10.14 | 220011 | 2024-09-29 19:02:40 | 0:03:29 | 72494 | build successful |
| 11 | 168173 | 2024-09-29 18:56:42 | 0:05:08 | 51488 | build successful |
| 10.12 | 287168 | 2024-09-29 18:56:17 | 0:03:44 | 89722 | build successful |
| 10.10 | 283898 | 2024-09-29 18:50:48 | 0:01:12 | 90848 | failed install-port |
| 10.13 | 245902 | 2024-09-29 18:46:43 | 0:03:19 | 81824 | build successful |
| 10.15 | 197099 | 2024-09-29 18:44:12 | 0:04:10 | 61567 | build successful |
| 12 | 119736 | 2024-09-29 18:29:06 | 0:04:49 | 40396 | build successful |
| 12.arm64 | 138376 | 2024-09-29 18:20:33 | 0:01:16 | 40282 | build successful |
| 10.11 | 269079 | 2024-06-20 5:37:23 | 0:02:25 | 87582 | failed install-port |
| 10.10 | 274890 | 2024-06-20 5:37:08 | 0:01:37 | 87421 | failed install-port |
| 14 | 40876 | 2024-06-05 14:00:23 | 0:02:57 | 10370 | build successful |
| 13 | 71765 | 2024-06-04 18:54:05 | 0:03:36 | 22170 | build successful |
| 12.arm64 | 129965 | 2024-06-04 15:18:03 | 0:01:42 | 36291 | build successful |
| 13.arm64 | 63699 | 2024-06-04 9:29:12 | 0:01:04 | 21912 | build successful |
| 10.12 | 276957 | 2024-06-04 1:33:21 | 0:03:14 | 85734 | build successful |
| 10.14 | 210890 | 2024-06-04 0:57:39 | 0:03:16 | 68531 | build successful |
| 14.arm64 | 33225 | 2024-06-03 23:27:31 | 0:01:04 | 10009 | build successful |
| 10.11 | 267514 | 2024-06-03 21:22:57 | 0:01:50 | 87016 | failed install-port |
| 10.6 | 169668 | 2024-06-03 21:15:12 | 0:06:06 | 59507 | build successful |
| 10.6.x86_64 | 205289 | 2024-06-03 21:14:28 | 0:05:56 | 59550 | build successful |
| 12 | 110471 | 2024-06-03 21:12:25 | 0:04:18 | 36390 | build successful |
| 11 | 158559 | 2024-06-03 21:06:16 | 0:05:03 | 47526 | build successful |
| 10.15 | 187714 | 2024-06-03 21:03:27 | 0:04:49 | 57599 | build successful |