minizinc (devel/minizinc) Updated: 3 months 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 GitHub320 build(s) found
Page 3 of 4 | Showing build(s) 201 to 300
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |
10.13 | 96232 | 2020-11-27 22:46:29 | 0:04:53 | 30936 | build successful |
10.11 | 126361 | 2020-11-27 22:46:17 | 0:04:54 | 39980 | build successful |
10.9 | 131676 | 2020-11-27 22:46:04 | 0:02:07 | 39987 | failed install-port |
10.6 | 20748 | 2020-11-27 22:45:54 | 0:10:58 | 12424 | build successful |
10.6.x86_64 | 39605 | 2020-11-27 22:45:45 | 0:08:13 | 12432 | build successful |
11.arm64 | 3515 | 2020-11-27 22:45:36 | 0:03:09 | 502 | build successful |
10.6 | 20172 | 2020-11-21 15:22:51 | 0:18:24 | 11999 | build successful |
11.arm64 | 60 | 2020-11-20 8:50:49 | 0:00:17 | 31 | failed install-dependencies |
10.14 | 71263 | 2020-11-15 12:55:31 | 0:04:53 | 21240 | build successful |
10.15 | 42286 | 2020-11-15 12:52:27 | 0:04:24 | 10793 | build successful |
10.11 | 125495 | 2020-11-15 12:52:09 | 0:03:56 | 39556 | build successful |
10.13 | 95350 | 2020-11-15 12:51:27 | 0:03:57 | 30514 | build successful |
10.12 | 130719 | 2020-11-15 12:51:11 | 0:04:02 | 38554 | build successful |
10.10 | 127159 | 2020-11-15 12:44:39 | 0:04:02 | 39612 | build successful |
10.6.x86_64 | 38697 | 2020-11-15 12:44:15 | 0:07:15 | 12008 | build successful |
10.8 | 29697 | 2020-11-15 12:43:09 | 0:02:20 | 9860 | failed install-port |
10.7 | 34836 | 2020-11-15 12:42:52 | 0:02:02 | 11994 | failed install-port |
10.9 | 130802 | 2020-11-15 12:41:38 | 0:01:36 | 39563 | failed install-port |
10.14 | 69964 | 2020-10-23 14:12:50 | 0:04:43 | 20643 | build successful |
10.15 | 40982 | 2020-10-23 13:48:36 | 0:04:19 | 10196 | build successful |
10.11 | 124192 | 2020-10-23 13:32:55 | 0:03:56 | 38959 | build successful |
10.13 | 94048 | 2020-10-23 13:32:28 | 0:03:52 | 29916 | build successful |
10.12 | 129418 | 2020-10-23 13:15:25 | 0:03:33 | 37957 | build successful |
10.10 | 125822 | 2020-10-23 13:09:50 | 0:03:44 | 39015 | build successful |
10.8 | 28337 | 2020-10-23 13:09:18 | 0:02:34 | 9263 | failed install-port |