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 GitHub396 build(s) found
Page 4 of 4 | Showing build(s) 301 to 396
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |
10.6.x86_64 | 37319 | 2020-10-23 13:05:21 | 0:07:12 | 11410 | build successful |
10.7 | 33427 | 2020-10-23 12:53:35 | 0:01:58 | 11397 | failed install-port |
10.6 | 19372 | 2020-10-23 12:51:57 | 0:10:23 | 11401 | build successful |
10.9 | 129461 | 2020-10-23 12:51:16 | 0:01:35 | 38966 | failed install-port |
10.6 | 18982 | 2020-10-16 2:51:14 | 0:09:57 | 11133 | build successful |
10.6.x86_64 | 36650 | 2020-10-16 2:28:51 | 0:07:16 | 11142 | build successful |
10.8 | 27690 | 2020-10-16 1:48:13 | 0:02:31 | 8995 | failed install-port |
10.7 | 32757 | 2020-10-16 1:47:48 | 0:02:03 | 11129 | failed install-port |
10.9 | 128820 | 2020-10-16 1:39:02 | 0:01:40 | 38698 | failed install-port |
10.14 | 69340 | 2020-10-15 14:58:52 | 0:06:33 | 20361 | build successful |
10.11 | 123566 | 2020-10-15 14:58:38 | 0:04:03 | 38677 | build successful |
10.13 | 93424 | 2020-10-15 14:58:22 | 0:04:03 | 29634 | build successful |
10.8 | 27636 | 2020-10-15 14:58:09 | 0:02:39 | 8981 | failed install-port |
10.6 | 18958 | 2020-10-15 14:57:51 | 0:07:21 | 11119 | failed install-port |
10.10 | 125196 | 2020-10-15 14:57:38 | 0:04:04 | 38733 | build successful |
10.6.x86_64 | 36596 | 2020-10-15 14:57:16 | 0:05:39 | 11128 | failed install-port |
10.7 | 32703 | 2020-10-15 14:57:06 | 0:02:02 | 11115 | failed install-port |
10.12 | 128792 | 2020-10-15 14:56:42 | 0:03:53 | 37675 | build successful |
10.15 | 40356 | 2020-10-15 14:56:27 | 0:04:33 | 9914 | build successful |
10.9 | 128766 | 2020-10-15 14:55:44 | 0:01:35 | 38684 | failed install-port |