minizinc (devel/minizinc) Updated: 1 day, 13 hours 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
443 build(s) found
Page 5 of 5 | Showing build(s) 401 to 443
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |