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 3 of 4 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.9 | 228416 | 2023-04-26 16:18:24 | 0:05:22 | 70799 | build successful |
| 13 | 30118 | 2023-04-26 15:49:57 | 0:02:13 | 6318 | build successful |
| 10.8 | 131064 | 2023-04-26 15:48:14 | 0:05:47 | 41584 | build successful |
| 11 | 111308 | 2023-04-26 15:44:30 | 0:03:58 | 31773 | build successful |
| 10.11 | 219104 | 2023-04-26 15:44:20 | 0:03:04 | 71223 | build successful |
| 12 | 66622 | 2023-04-26 15:42:05 | 0:03:10 | 20556 | build successful |
| 10.15 | 138077 | 2023-04-26 15:24:14 | 0:03:20 | 41854 | build successful |
| 10.13 | 188764 | 2023-04-26 15:22:02 | 0:02:43 | 62103 | build successful |
| 10.12 | 227637 | 2023-04-26 15:15:24 | 0:02:56 | 70024 | build successful |
| 13.arm64 | 19055 | 2023-04-26 14:57:21 | 0:01:11 | 6144 | build successful |
| 10.10 | 222577 | 2023-04-26 14:56:47 | 0:02:53 | 71107 | build successful |
| 10.6 | 116286 | 2023-04-26 14:53:49 | 0:06:36 | 43767 | build successful |
| 10.6.x86_64 | 151782 | 2023-04-26 14:53:38 | 0:05:01 | 43803 | build successful |
| 10.7 | 141417 | 2023-04-26 14:53:28 | 0:05:57 | 43539 | build successful |
| 10.8 | 128457 | 2023-04-07 12:56:55 | 0:03:25 | 40866 | build successful |
| 10.14 | 160844 | 2023-04-07 11:05:32 | 0:03:14 | 52147 | build successful |
| 10.7 | 139523 | 2023-04-07 9:05:58 | 0:04:43 | 42826 | build successful |
| 10.13 | 186179 | 2023-04-07 8:39:32 | 0:03:41 | 61385 | build successful |
| 10.10 | 219799 | 2023-04-07 5:47:37 | 0:02:11 | 70388 | build successful |
| 12 | 64584 | 2023-04-07 4:41:56 | 0:03:31 | 19839 | build successful |
| 11.arm64 | 88251 | 2023-04-07 4:35:23 | 0:01:16 | 31033 | build successful |
| 10.15 | 135726 | 2023-04-06 23:46:42 | 0:03:46 | 41140 | build successful |
| 13.arm64 | 16936 | 2023-04-06 23:19:38 | 0:01:19 | 5431 | build successful |
| 10.11 | 216491 | 2023-04-06 20:49:57 | 0:02:38 | 70506 | build successful |
| 10.9 | 225611 | 2023-04-06 18:46:14 | 0:05:10 | 70081 | build successful |
| 10.6 | 114585 | 2023-04-06 15:26:01 | 0:06:40 | 43051 | build successful |
| 10.6.x86_64 | 149804 | 2023-04-06 15:25:52 | 0:04:59 | 43083 | build successful |
| 11 | 108603 | 2023-04-06 15:25:43 | 0:04:36 | 31056 | build successful |
| 10.12 | 224861 | 2023-04-06 15:25:32 | 0:02:44 | 69305 | build successful |
| 13 | 26931 | 2023-04-06 15:25:23 | 0:03:01 | 5598 | build successful |
| 12.arm64 | 88967 | 2023-04-06 15:25:04 | 0:01:23 | 19850 | build successful |
| 12 | 64079 | 2023-04-01 18:52:50 | 0:02:49 | 19630 | build successful |
| 10.13 | 185618 | 2023-04-01 8:54:29 | 0:05:10 | 61177 | build successful |
| 10.10 | 219214 | 2023-04-01 2:47:03 | 0:04:31 | 70180 | build successful |
| 10.14 | 160300 | 2023-04-01 1:43:29 | 0:07:07 | 51939 | build successful |
| 10.15 | 135141 | 2023-03-31 22:13:56 | 0:03:55 | 40932 | build successful |
| 10.9 | 225016 | 2023-03-31 22:04:29 | 0:06:59 | 69873 | build successful |
| 13.arm64 | 16532 | 2023-03-31 21:57:01 | 0:01:22 | 5222 | build successful |
| 10.12 | 224254 | 2023-03-31 21:22:14 | 0:03:08 | 69097 | build successful |
| 12.arm64 | 88478 | 2023-03-31 20:41:02 | 0:01:10 | 19641 | build successful |
| 10.11 | 215916 | 2023-03-31 20:17:25 | 0:05:09 | 70297 | build successful |
| 11.arm64 | 87889 | 2023-03-31 19:16:59 | 0:01:17 | 30824 | build successful |
| 13 | 26328 | 2023-03-31 19:01:50 | 0:05:39 | 5388 | build successful |
| 10.8 | 127857 | 2023-03-31 18:27:28 | 0:12:50 | 40657 | build successful |
| 11 | 108038 | 2023-03-31 18:26:01 | 0:06:58 | 30848 | build successful |
| 10.7 | 138910 | 2023-03-31 18:25:30 | 0:12:40 | 42616 | build successful |
| 10.6 | 113987 | 2023-03-31 18:18:15 | 0:11:14 | 42841 | build successful |
| 10.6.x86_64 | 149192 | 2023-03-31 18:17:28 | 0:10:09 | 42874 | build successful |
| 13.arm64 | 5772 | 2023-03-03 17:06:42 | 0:01:11 | 3427 | build successful |
| 12 | 60677 | 2023-02-24 21:26:34 | 0:02:28 | 18237 | build successful |
| 11.arm64 | 85485 | 2023-02-24 1:46:18 | 0:01:07 | 29432 | build successful |
| 12.arm64 | 86084 | 2023-02-24 0:40:39 | 0:01:12 | 18248 | build successful |
| 10.11 | 212361 | 2023-02-23 19:15:35 | 0:03:00 | 68904 | build successful |
| 10.6 | 110485 | 2023-02-23 18:56:35 | 0:09:06 | 41447 | build successful |
| 10.6.x86_64 | 145497 | 2023-02-23 18:54:42 | 0:06:45 | 41480 | build successful |
| 10.13 | 182063 | 2023-02-23 18:53:37 | 0:04:04 | 59782 | build successful |
| 10.7 | 135242 | 2023-02-23 18:53:04 | 0:04:40 | 41220 | build successful |
| 10.10 | 215499 | 2023-02-23 18:52:31 | 0:02:30 | 68785 | build successful |
| 10.15 | 131685 | 2023-02-23 18:50:32 | 0:04:00 | 39540 | build successful |
| 10.14 | 157030 | 2023-02-23 18:47:42 | 0:04:24 | 50548 | build successful |
| 10.12 | 220246 | 2023-02-23 18:47:20 | 0:02:49 | 67704 | build successful |
| 11 | 104441 | 2023-02-23 18:44:56 | 0:03:35 | 29454 | build successful |
| 13 | 22610 | 2023-02-23 18:39:51 | 0:02:26 | 3995 | build successful |
| 10.9 | 221213 | 2023-02-23 18:30:47 | 0:07:40 | 68480 | build successful |
| 10.8 | 124191 | 2023-02-23 18:30:19 | 0:07:26 | 39264 | build successful |
| 13 | 14420 | 2023-01-12 13:39:54 | 0:03:45 | 1995 | build successful |
| 10.8 | 95062 | 2022-06-27 0:13:10 | 0:05:01 | 30274 | build successful |
| 11.arm64 | 59592 | 2022-06-27 0:02:19 | 0:01:09 | 20419 | build successful |
| 10.7 | 105215 | 2022-06-27 0:01:58 | 0:06:22 | 32222 | build successful |
| 12 | 34432 | 2022-06-27 0:01:44 | 0:04:00 | 9244 | build successful |
| 10.14 | 131843 | 2022-06-26 23:55:39 | 0:03:29 | 41577 | build successful |
| 10.9 | 193250 | 2022-06-26 23:53:53 | 0:05:33 | 59493 | build successful |
| 10.15 | 104527 | 2022-06-26 23:52:14 | 0:03:19 | 30571 | build successful |
| 11 | 76963 | 2022-06-26 23:50:56 | 0:04:00 | 20471 | build successful |
| 10.10 | 188032 | 2022-06-26 23:36:32 | 0:02:46 | 59801 | build successful |
| 10.11 | 187004 | 2022-06-26 23:28:28 | 0:03:32 | 59918 | build successful |
| 10.6.x86_64 | 113716 | 2022-06-26 23:18:48 | 0:08:21 | 32449 | build successful |
| 10.6 | 80353 | 2022-06-26 23:18:31 | 0:08:50 | 32436 | build successful |
| 10.13 | 155299 | 2022-06-26 23:16:23 | 0:04:50 | 50805 | build successful |
| 10.12 | 191277 | 2022-06-26 22:55:46 | 0:03:06 | 58720 | build successful |
| 12.arm64 | 56800 | 2022-06-26 22:34:27 | 0:01:23 | 9243 | build successful |
| 10.7 | 97842 | 2022-05-10 1:58:39 | 0:00:59 | 30489 | failed install-port |
| 10.6 | 68293 | 2022-05-10 1:28:28 | 0:07:27 | 30673 | build successful |
| 10.10 | 182247 | 2022-05-10 1:23:04 | 0:03:24 | 58068 | build successful |
| 10.9 | 187204 | 2022-05-10 1:07:40 | 0:01:06 | 57759 | failed install-port |
| 10.13 | 149878 | 2022-05-10 1:04:21 | 0:03:20 | 49072 | build successful |
| 10.8 | 88290 | 2022-05-09 22:53:07 | 0:02:00 | 28540 | failed install-port |
| 10.6.x86_64 | 102693 | 2022-05-09 22:38:35 | 0:07:45 | 30636 | build successful |
| 10.11 | 181030 | 2022-05-09 18:56:52 | 0:05:02 | 58179 | build successful |
| 10.12 | 185700 | 2022-05-09 6:06:37 | 0:02:46 | 56988 | build successful |
| 10.15 | 99016 | 2022-05-09 4:44:06 | 0:06:24 | 28844 | build successful |
| 10.14 | 126386 | 2022-05-09 4:37:06 | 0:05:33 | 39845 | build successful |
| 11.arm64 | 52600 | 2022-05-09 4:16:01 | 0:01:19 | 18673 | build successful |
| 12 | 28341 | 2022-05-09 0:30:52 | 0:06:55 | 7513 | build successful |
| 11 | 71317 | 2022-05-09 0:24:49 | 0:06:22 | 18732 | build successful |
| 12.arm64 | 49595 | 2022-05-09 0:24:36 | 0:01:11 | 7499 | build successful |
| 10.8 | 88011 | 2022-05-06 2:18:12 | 0:01:39 | 28410 | failed install-port |
| 10.7 | 97529 | 2022-05-05 23:58:12 | 0:01:42 | 30359 | failed install-port |
| 12.arm64 | 49336 | 2022-05-05 6:07:16 | 0:01:16 | 7370 | build successful |
| 11.arm64 | 52375 | 2022-05-05 5:34:09 | 0:01:18 | 18544 | build successful |