minizinc (devel/minizinc) Updated: 1 month 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.7 License: MPL-2
GitHub
396 build(s) found
Page 1 of 4 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.9 | 280326 | 2024-06-03 21:02:10 | 0:05:16 | 86527 | build successful |
| 10.7 | 194229 | 2024-06-03 21:01:48 | 0:06:27 | 59266 | build successful |
| 10.8 | 180893 | 2024-06-03 21:01:26 | 0:06:40 | 57318 | build successful |
| 10.13 | 236629 | 2024-06-03 21:00:19 | 0:04:56 | 77860 | build successful |
| 10.10 | 273198 | 2024-06-03 20:59:56 | 0:01:38 | 86854 | failed install-port |
| 13 | 70544 | 2024-05-14 13:26:38 | 0:03:00 | 21262 | build successful |
| 12.arm64 | 128424 | 2024-05-14 6:24:04 | 0:01:05 | 35385 | build successful |
| 14 | 39365 | 2024-05-14 5:12:03 | 0:03:18 | 9465 | build successful |
| 14.arm64 | 30871 | 2024-05-14 3:29:45 | 0:01:04 | 9103 | build successful |
| 13.arm64 | 61929 | 2024-05-14 2:20:33 | 0:01:02 | 21006 | build successful |
| 10.11 | 265581 | 2024-05-14 1:31:48 | 0:02:28 | 86049 | failed install-port |
| 10.12 | 274970 | 2024-05-14 1:31:22 | 0:03:57 | 84828 | build successful |
| 10.8 | 178741 | 2024-05-14 1:30:59 | 0:04:49 | 56412 | build successful |
| 10.6 | 166990 | 2024-05-14 1:30:34 | 0:06:26 | 58599 | build successful |
| 10.14 | 209284 | 2024-05-14 1:30:02 | 0:04:00 | 67626 | build successful |
| 10.15 | 185889 | 2024-05-14 1:29:26 | 0:05:00 | 56623 | build successful |
| 10.9 | 277910 | 2024-05-14 1:28:56 | 0:08:01 | 85619 | build successful |
| 10.13 | 234805 | 2024-05-14 1:28:35 | 0:04:32 | 76882 | build successful |
| 10.7 | 191695 | 2024-05-14 1:27:37 | 0:05:28 | 58360 | build successful |
| 11 | 156643 | 2024-05-14 1:26:54 | 0:06:07 | 46545 | build successful |
| 10.10 | 270765 | 2024-05-14 1:26:25 | 0:01:37 | 85945 | failed install-port |
| 10.6.x86_64 | 202684 | 2024-05-14 1:25:57 | 0:05:07 | 58640 | build successful |
| 12 | 108709 | 2024-05-14 1:25:36 | 0:04:43 | 35410 | build successful |
| 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 |