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.9.4 License: MPL-2
GitHub
445 build(s) found
Page 4 of 5 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.6.x86_64 | 102365 | 2022-05-05 5:30:49 | 0:06:08 | 30505 | build successful |
| 11 | 71029 | 2022-05-05 5:23:46 | 0:04:05 | 18603 | build successful |
| 10.14 | 126086 | 2022-05-05 5:22:06 | 0:04:26 | 39716 | build successful |
| 10.11 | 180712 | 2022-05-05 5:21:27 | 0:03:47 | 58049 | build successful |
| 10.15 | 98714 | 2022-05-05 5:21:19 | 0:04:06 | 28715 | build successful |
| 10.13 | 149570 | 2022-05-05 5:20:50 | 0:04:39 | 48942 | build successful |
| 10.6 | 67881 | 2022-05-05 5:20:42 | 0:00:13 | 30543 | failed install-dependencies |
| 10.9 | 186878 | 2022-05-05 5:20:33 | 0:01:22 | 57629 | failed install-port |
| 12 | 28050 | 2022-05-05 5:20:14 | 0:04:58 | 7384 | build successful |
| 10.10 | 181916 | 2022-05-05 5:20:05 | 0:03:29 | 57938 | build successful |
| 10.12 | 185399 | 2022-05-05 5:19:57 | 0:03:00 | 56858 | build successful |
| 12 | 16319 | 2022-01-18 12:09:41 | 0:02:52 | 3662 | build successful |
| 12.arm64 | 16127 | 2021-11-15 14:04:59 | 0:01:24 | 1084 | build successful |
| 10.9 | 148597 | 2021-06-02 18:53:44 | 0:02:32 | 45869 | failed install-port |
| 10.7 | 54666 | 2021-06-02 18:23:53 | 0:01:53 | 18588 | failed install-port |
| 10.8 | 48210 | 2021-06-02 18:16:27 | 0:02:10 | 16449 | failed install-port |
| 11.arm64 | 15968 | 2021-04-22 23:32:07 | 0:01:19 | 4035 | build successful |
| 10.15 | 52851 | 2021-03-29 11:32:31 | 0:03:41 | 13762 | build successful |
| 10.14 | 82015 | 2021-03-23 18:18:50 | 0:04:09 | 25034 | build successful |
| 10.13 | 106289 | 2021-03-23 17:40:12 | 0:03:29 | 34337 | build successful |
| 10.12 | 141716 | 2021-03-23 17:10:54 | 0:03:20 | 42380 | build successful |
| 11 | 24641 | 2021-03-23 9:14:22 | 0:05:15 | 3832 | build successful |
| 10.11 | 136656 | 2021-03-23 9:13:38 | 0:03:49 | 43382 | build successful |
| 10.6.x86_64 | 51233 | 2021-03-23 8:57:46 | 0:11:57 | 15814 | build successful |
| 10.10 | 138091 | 2021-03-23 8:48:21 | 0:03:36 | 43441 | build successful |
| 10.6 | 27983 | 2021-03-23 8:25:13 | 0:10:15 | 15852 | build successful |
| 10.8 | 41307 | 2021-03-23 8:25:06 | 0:02:21 | 13706 | failed install-port |
| 10.7 | 47513 | 2021-03-23 8:07:06 | 0:02:04 | 15852 | failed install-port |
| 10.9 | 141702 | 2021-03-23 8:06:52 | 0:01:51 | 43116 | failed install-port |
| 10.12 | 140868 | 2021-03-18 16:33:11 | 0:03:55 | 42103 | build successful |
| 11 | 23796 | 2021-03-17 14:30:59 | 0:05:13 | 3553 | build successful |
| 10.14 | 81209 | 2021-03-17 9:14:48 | 0:04:52 | 24754 | build successful |
| 10.13 | 105459 | 2021-03-17 0:41:23 | 0:03:30 | 34060 | build successful |
| 10.10 | 137280 | 2021-03-16 12:35:25 | 0:04:08 | 43163 | build successful |
| 10.7 | 46672 | 2021-03-16 12:32:29 | 0:02:32 | 15574 | failed install-port |
| 10.8 | 40499 | 2021-03-16 12:30:00 | 0:02:33 | 13428 | failed install-port |
| 10.6 | 27546 | 2021-03-16 12:29:54 | 0:08:27 | 15574 | build successful |
| 10.6.x86_64 | 50412 | 2021-03-16 12:29:47 | 0:07:42 | 15536 | build successful |
| 10.11 | 135823 | 2021-03-16 12:29:41 | 0:03:46 | 43103 | build successful |
| 10.9 | 140886 | 2021-03-16 12:29:34 | 0:01:52 | 42838 | failed install-port |
| 11.arm64 | 13377 | 2021-03-16 12:29:27 | 0:01:46 | 3725 | build successful |
| 11 | 6173 | 2020-12-09 19:42:30 | 0:04:57 | 440 | build successful |
| 10.7 | 36176 | 2020-12-01 5:08:16 | 0:02:03 | 12532 | failed install-port |
| 10.8 | 30952 | 2020-12-01 5:07:21 | 0:02:53 | 10396 | failed install-port |
| 10.9 | 132042 | 2020-12-01 4:54:56 | 0:01:38 | 40098 | failed install-port |
| 10.8 | 30578 | 2020-11-27 22:47:45 | 0:02:40 | 10285 | failed install-port |
| 10.15 | 43479 | 2020-11-27 22:47:29 | 0:04:42 | 11217 | build successful |
| 10.14 | 72191 | 2020-11-27 22:47:15 | 0:05:05 | 21663 | build successful |
| 10.12 | 131596 | 2020-11-27 22:47:02 | 0:06:02 | 38977 | build successful |
| 10.10 | 128015 | 2020-11-27 22:46:49 | 0:04:50 | 40036 | build successful |
| 10.7 | 35774 | 2020-11-27 22:46:39 | 0:02:32 | 12421 | failed install-port |