minizinc (devel/minizinc) Updated: 2 months, 3 weeks 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.8.3 License: MPL-2
GitHub
320 build(s) found
Page 1 of 4 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 14 | 29663 | 2024-02-04 12:04:53 | 0:05:30 | 5442 | build successful |
| 12.arm64 | 117645 | 2024-02-02 12:00:31 | 0:01:26 | 31377 | build successful |
| 14.arm64 | 16624 | 2024-02-02 10:32:37 | 0:01:01 | 5120 | build successful |
| 13.arm64 | 49825 | 2024-02-02 9:25:28 | 0:01:02 | 16999 | build successful |
| 10.6 | 152858 | 2024-02-02 8:51:59 | 0:08:40 | 54591 | build successful |
| 10.9 | 262711 | 2024-02-02 8:51:19 | 0:08:27 | 81637 | build successful |
| 10.7 | 176791 | 2024-02-02 8:50:54 | 0:08:10 | 54371 | build successful |
| 10.8 | 164265 | 2024-02-02 8:50:24 | 0:08:24 | 52431 | build successful |
| 10.6.x86_64 | 188377 | 2024-02-02 8:50:03 | 0:08:26 | 54636 | build successful |
| 10.15 | 171292 | 2024-02-02 8:49:33 | 0:04:44 | 52647 | build successful |
| 10.14 | 195294 | 2024-02-02 8:49:14 | 0:04:07 | 63658 | build successful |
| 10.12 | 260121 | 2024-02-02 8:48:55 | 0:04:32 | 80850 | build successful |
| 11 | 142216 | 2024-02-02 8:48:33 | 0:05:31 | 42576 | build successful |
| 10.11 | 250974 | 2024-02-02 8:48:18 | 0:02:31 | 82063 | failed install-port |
| 12 | 96332 | 2024-02-02 8:47:50 | 0:05:22 | 31389 | build successful |
| 10.13 | 220295 | 2024-02-02 8:47:20 | 0:03:22 | 72906 | build successful |
| 10.10 | 255806 | 2024-02-02 8:47:03 | 0:01:46 | 81956 | failed install-port |
| 14.arm64 | 4296 | 2024-01-14 10:14:24 | 0:01:14 | 1763 | build successful |
| 13 | 58863 | 2024-01-11 8:36:34 | 0:06:05 | 16166 | build successful |
| 13.arm64 | 47665 | 2024-01-10 11:19:41 | 0:01:10 | 15897 | build successful |
| 14 | 25632 | 2024-01-10 11:17:17 | 0:06:06 | 4228 | build successful |
| 10.15 | 168339 | 2024-01-10 10:22:13 | 0:05:07 | 51547 | build successful |
| 10.11 | 247879 | 2024-01-10 10:21:02 | 0:02:44 | 80965 | failed install-port |
| 11 | 139201 | 2024-01-10 10:13:20 | 0:05:37 | 41476 | build successful |
| 10.14 | 192465 | 2024-01-10 10:06:59 | 0:05:33 | 62558 | build successful |
| 10.12 | 256909 | 2024-01-10 9:59:28 | 0:03:46 | 79751 | build successful |
| 10.13 | 217229 | 2024-01-10 9:56:43 | 0:05:52 | 71807 | build successful |
| 12 | 93400 | 2024-01-10 9:55:04 | 0:07:19 | 30290 | build successful |
| 10.8 | 160825 | 2024-01-10 9:52:59 | 0:09:39 | 51332 | build successful |
| 10.9 | 259134 | 2024-01-10 9:49:43 | 0:07:40 | 80538 | build successful |
| 10.10 | 252359 | 2024-01-10 9:42:21 | 0:01:59 | 80857 | failed install-port |
| 10.7 | 173154 | 2024-01-10 9:35:58 | 0:07:22 | 53270 | build successful |
| 10.6 | 148924 | 2024-01-10 9:35:10 | 0:05:36 | 53490 | build successful |
| 12.arm64 | 115685 | 2024-01-10 8:39:11 | 0:01:15 | 30277 | build successful |
| 10.6.x86_64 | 184409 | 2024-01-10 8:05:10 | 0:06:54 | 53534 | build successful |
| 13 | 55855 | 2023-12-01 22:18:58 | 0:02:52 | 14446 | build successful |
| 10.13 | 212575 | 2023-11-30 20:27:59 | 0:05:11 | 70226 | build successful |
| 10.14 | 187866 | 2023-11-30 18:53:23 | 0:05:44 | 60984 | build successful |
| 10.10 | 247372 | 2023-11-30 12:21:33 | 0:02:51 | 79269 | failed install-port |
| 12 | 89084 | 2023-11-30 11:36:45 | 0:07:40 | 28691 | build successful |
| 10.8 | 156053 | 2023-11-30 11:16:31 | 0:11:45 | 49749 | build successful |
| 10.7 | 168118 | 2023-11-30 10:16:42 | 0:12:25 | 51693 | build successful |
| 14 | 14896 | 2023-11-30 7:13:06 | 0:02:43 | 2339 | build successful |
| 10.15 | 163711 | 2023-11-30 5:57:41 | 0:04:48 | 49971 | build successful |
| 10.11 | 243347 | 2023-11-30 0:30:25 | 0:03:49 | 79382 | failed install-port |
| 13.arm64 | 43150 | 2023-11-30 0:26:24 | 0:00:57 | 14318 | build successful |
| 10.9 | 254122 | 2023-11-29 22:33:03 | 0:12:04 | 78961 | build successful |
| 10.12 | 252218 | 2023-11-29 19:19:37 | 0:04:06 | 78175 | build successful |
| 12.arm64 | 112467 | 2023-11-29 17:02:31 | 0:01:02 | 28699 | build successful |
| 11 | 134810 | 2023-11-29 14:09:59 | 0:04:49 | 39895 | build successful |
| 11.arm64 | 109108 | 2023-11-29 12:35:45 | 0:01:11 | 39898 | build successful |
| 10.6 | 144094 | 2023-11-29 8:29:21 | 0:11:34 | 51913 | build successful |
| 10.6.x86_64 | 179567 | 2023-11-29 8:29:02 | 0:11:20 | 51955 | build successful |
| 14 | 12304 | 2023-11-22 7:30:27 | 0:05:05 | 1886 | build successful |
| 13 | 55004 | 2023-11-19 5:33:20 | 0:04:22 | 14028 | build successful |
| 12 | 88109 | 2023-11-18 18:04:35 | 0:09:28 | 28273 | build successful |
| 10.10 | 246185 | 2023-11-17 17:10:58 | 0:02:23 | 78850 | failed install-port |
| 10.8 | 154866 | 2023-11-17 16:31:32 | 0:09:11 | 49330 | build successful |
| 13.arm64 | 42027 | 2023-11-17 15:20:26 | 0:01:06 | 13898 | build successful |
| 10.14 | 186741 | 2023-11-17 15:00:10 | 0:04:14 | 60565 | build successful |
| 10.7 | 166866 | 2023-11-17 13:59:25 | 0:11:49 | 51274 | build successful |
| 11 | 133692 | 2023-11-17 13:57:43 | 0:05:41 | 39476 | build successful |
| 10.13 | 211407 | 2023-11-17 11:29:14 | 0:06:23 | 69807 | build successful |
| 10.15 | 162607 | 2023-11-17 7:18:31 | 0:04:34 | 49552 | build successful |
| 11.arm64 | 108062 | 2023-11-17 5:55:45 | 0:01:19 | 39474 | build successful |
| 10.12 | 250931 | 2023-11-17 4:58:38 | 0:04:43 | 77756 | build successful |
| 10.6.x86_64 | 178355 | 2023-11-17 3:29:40 | 0:04:58 | 51536 | build successful |
| 10.6 | 142896 | 2023-11-17 3:08:14 | 0:05:48 | 51494 | build successful |
| 10.11 | 242176 | 2023-11-17 1:58:06 | 0:03:04 | 78963 | failed install-port |
| 12.arm64 | 111452 | 2023-11-17 1:40:05 | 0:01:17 | 28280 | build successful |
| 10.9 | 252903 | 2023-11-17 0:12:02 | 0:09:39 | 78542 | build successful |
| 10.14 | 170766 | 2023-06-21 16:22:33 | 0:04:34 | 55112 | build successful |
| 12 | 73608 | 2023-06-21 15:36:05 | 0:05:06 | 22820 | build successful |
| 10.13 | 196047 | 2023-06-21 14:10:30 | 0:03:42 | 64349 | build successful |
| 10.10 | 229687 | 2023-06-21 12:59:13 | 0:01:50 | 73352 | failed install-port |
| 10.15 | 145968 | 2023-06-21 11:33:08 | 0:04:18 | 44102 | build successful |
| 10.11 | 226316 | 2023-06-21 10:38:02 | 0:03:07 | 73474 | failed install-port |
| 12.arm64 | 98640 | 2023-06-21 10:13:32 | 0:01:12 | 22825 | build successful |
| 11 | 118378 | 2023-06-21 9:36:02 | 0:04:21 | 34019 | build successful |
| 10.9 | 235860 | 2023-06-21 9:32:57 | 0:05:48 | 73048 | build successful |
| 13.arm64 | 26162 | 2023-06-21 9:28:51 | 0:01:11 | 8414 | build successful |
| 11.arm64 | 95957 | 2023-06-21 8:48:00 | 0:01:16 | 34010 | build successful |
| 10.12 | 235173 | 2023-06-21 8:19:03 | 0:03:09 | 72272 | build successful |
| 10.6.x86_64 | 159085 | 2023-06-21 7:59:34 | 0:06:20 | 46033 | build successful |
| 10.6 | 123987 | 2023-06-21 7:54:08 | 0:07:55 | 45996 | build successful |
| 13 | 38313 | 2023-06-21 6:19:29 | 0:04:03 | 8568 | build successful |
| 10.8 | 138313 | 2023-06-21 6:18:36 | 0:13:29 | 43835 | build successful |
| 10.7 | 148676 | 2023-06-21 6:13:04 | 0:13:31 | 45773 | build successful |
| 12 | 72311 | 2023-06-08 17:01:31 | 0:06:55 | 22333 | build successful |
| 10.14 | 169478 | 2023-06-08 14:40:07 | 0:03:51 | 54607 | build successful |
| 10.13 | 194755 | 2023-06-08 6:11:17 | 0:04:19 | 63845 | build successful |
| 10.10 | 228325 | 2023-06-08 3:01:58 | 0:01:47 | 72848 | failed install-port |
| 10.15 | 144614 | 2023-06-08 2:36:50 | 0:03:53 | 43599 | build successful |
| 10.8 | 136975 | 2023-06-08 1:15:44 | 0:09:18 | 43330 | build successful |
| 10.7 | 147278 | 2023-06-07 22:37:26 | 0:12:31 | 45269 | build successful |
| 10.6 | 122520 | 2023-06-07 18:09:11 | 0:05:50 | 45491 | build successful |
| 10.6.x86_64 | 157617 | 2023-06-07 18:05:18 | 0:04:04 | 45528 | build successful |
| 13.arm64 | 24358 | 2023-06-07 13:57:19 | 0:01:04 | 7907 | build successful |
| 10.11 | 224957 | 2023-06-07 12:59:39 | 0:02:28 | 72971 | failed install-port |
| 12.arm64 | 97505 | 2023-06-07 12:35:45 | 0:01:14 | 22315 | build successful |