minizinc (devel/minizinc) Updated: 3 weeks, 4 days 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.5 License: MPL-2
GitHub
467 build(s) found
Page 3 of 5 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 14 | 12304 | 2023-11-22 7:30:27 | 0:05:05 | 1886 | build successful |
| 13 | 55004 | 2023-11-19 5:33:20 | 0:04:22 | 14028 | build successful |
| 12 | 88109 | 2023-11-18 18:04:35 | 0:09:28 | 28273 | build successful |
| 10.10 | 246185 | 2023-11-17 17:10:58 | 0:02:23 | 78850 | failed install-port |
| 10.8 | 154866 | 2023-11-17 16:31:32 | 0:09:11 | 49330 | build successful |
| 13.arm64 | 42027 | 2023-11-17 15:20:26 | 0:01:06 | 13898 | build successful |
| 10.14 | 186741 | 2023-11-17 15:00:10 | 0:04:14 | 60565 | build successful |
| 10.7 | 166866 | 2023-11-17 13:59:25 | 0:11:49 | 51274 | build successful |
| 11 | 133692 | 2023-11-17 13:57:43 | 0:05:41 | 39476 | build successful |
| 10.13 | 211407 | 2023-11-17 11:29:14 | 0:06:23 | 69807 | build successful |
| 10.15 | 162607 | 2023-11-17 7:18:31 | 0:04:34 | 49552 | build successful |
| 11.arm64 | 108062 | 2023-11-17 5:55:45 | 0:01:19 | 39474 | build successful |
| 10.12 | 250931 | 2023-11-17 4:58:38 | 0:04:43 | 77756 | build successful |
| 10.6.x86_64 | 178355 | 2023-11-17 3:29:40 | 0:04:58 | 51536 | build successful |
| 10.6 | 142896 | 2023-11-17 3:08:14 | 0:05:48 | 51494 | build successful |
| 10.11 | 242176 | 2023-11-17 1:58:06 | 0:03:04 | 78963 | failed install-port |
| 12.arm64 | 111452 | 2023-11-17 1:40:05 | 0:01:17 | 28280 | build successful |
| 10.9 | 252903 | 2023-11-17 0:12:02 | 0:09:39 | 78542 | build successful |
| 10.14 | 170766 | 2023-06-21 16:22:33 | 0:04:34 | 55112 | build successful |
| 12 | 73608 | 2023-06-21 15:36:05 | 0:05:06 | 22820 | build successful |
| 10.13 | 196047 | 2023-06-21 14:10:30 | 0:03:42 | 64349 | build successful |
| 10.10 | 229687 | 2023-06-21 12:59:13 | 0:01:50 | 73352 | failed install-port |
| 10.15 | 145968 | 2023-06-21 11:33:08 | 0:04:18 | 44102 | build successful |
| 10.11 | 226316 | 2023-06-21 10:38:02 | 0:03:07 | 73474 | failed install-port |
| 12.arm64 | 98640 | 2023-06-21 10:13:32 | 0:01:12 | 22825 | build successful |
| 11 | 118378 | 2023-06-21 9:36:02 | 0:04:21 | 34019 | build successful |
| 10.9 | 235860 | 2023-06-21 9:32:57 | 0:05:48 | 73048 | build successful |
| 13.arm64 | 26162 | 2023-06-21 9:28:51 | 0:01:11 | 8414 | build successful |
| 11.arm64 | 95957 | 2023-06-21 8:48:00 | 0:01:16 | 34010 | build successful |
| 10.12 | 235173 | 2023-06-21 8:19:03 | 0:03:09 | 72272 | build successful |
| 10.6.x86_64 | 159085 | 2023-06-21 7:59:34 | 0:06:20 | 46033 | build successful |
| 10.6 | 123987 | 2023-06-21 7:54:08 | 0:07:55 | 45996 | build successful |
| 13 | 38313 | 2023-06-21 6:19:29 | 0:04:03 | 8568 | build successful |
| 10.8 | 138313 | 2023-06-21 6:18:36 | 0:13:29 | 43835 | build successful |
| 10.7 | 148676 | 2023-06-21 6:13:04 | 0:13:31 | 45773 | build successful |
| 12 | 72311 | 2023-06-08 17:01:31 | 0:06:55 | 22333 | build successful |
| 10.14 | 169478 | 2023-06-08 14:40:07 | 0:03:51 | 54607 | build successful |
| 10.13 | 194755 | 2023-06-08 6:11:17 | 0:04:19 | 63845 | build successful |
| 10.10 | 228325 | 2023-06-08 3:01:58 | 0:01:47 | 72848 | failed install-port |
| 10.15 | 144614 | 2023-06-08 2:36:50 | 0:03:53 | 43599 | build successful |
| 10.8 | 136975 | 2023-06-08 1:15:44 | 0:09:18 | 43330 | build successful |
| 10.7 | 147278 | 2023-06-07 22:37:26 | 0:12:31 | 45269 | build successful |
| 10.6 | 122520 | 2023-06-07 18:09:11 | 0:05:50 | 45491 | build successful |
| 10.6.x86_64 | 157617 | 2023-06-07 18:05:18 | 0:04:04 | 45528 | build successful |
| 13.arm64 | 24358 | 2023-06-07 13:57:19 | 0:01:04 | 7907 | build successful |
| 10.11 | 224957 | 2023-06-07 12:59:39 | 0:02:28 | 72971 | failed install-port |
| 12.arm64 | 97505 | 2023-06-07 12:35:45 | 0:01:14 | 22315 | build successful |
| 11.arm64 | 94856 | 2023-06-07 10:31:51 | 0:01:14 | 33503 | build successful |
| 10.9 | 234430 | 2023-06-07 9:51:44 | 0:07:25 | 72543 | build successful |
| 11 | 117011 | 2023-06-07 9:51:35 | 0:04:33 | 33516 | build successful |
| 10.12 | 233803 | 2023-06-07 9:51:27 | 0:03:25 | 71768 | build successful |
| 13 | 36074 | 2023-06-07 9:51:17 | 0:03:09 | 8061 | build successful |
| 10.12 | 230705 | 2023-05-14 13:10:22 | 0:03:17 | 70631 | build successful |
| 10.14 | 166269 | 2023-05-12 22:16:44 | 0:03:18 | 53474 | build successful |
| 11 | 113984 | 2023-05-12 4:49:33 | 0:06:23 | 32380 | build successful |
| 12 | 68820 | 2023-05-11 23:12:17 | 0:03:55 | 21172 | build successful |
| 10.13 | 191722 | 2023-05-11 19:07:40 | 0:03:06 | 62711 | build successful |
| 13.arm64 | 21517 | 2023-05-11 7:58:35 | 0:02:02 | 6768 | build successful |
| 11.arm64 | 92287 | 2023-05-11 7:28:26 | 0:01:27 | 32366 | build successful |
| 10.11 | 221984 | 2023-05-11 6:51:30 | 0:02:42 | 71833 | failed install-port |
| 10.8 | 133974 | 2023-05-11 6:42:50 | 0:11:43 | 42191 | build successful |
| 10.7 | 143579 | 2023-05-11 6:42:19 | 0:12:07 | 44128 | build successful |
| 10.6 | 118760 | 2023-05-11 6:42:08 | 0:09:57 | 44356 | build successful |
| 10.9 | 231300 | 2023-05-11 6:41:58 | 0:08:27 | 71407 | build successful |
| 10.6.x86_64 | 154021 | 2023-05-11 6:41:41 | 0:07:58 | 44394 | build successful |
| 10.15 | 141287 | 2023-05-11 6:41:23 | 0:03:58 | 42464 | build successful |
| 13 | 32611 | 2023-05-11 6:41:11 | 0:02:36 | 6922 | build successful |
| 12.arm64 | 93878 | 2023-05-11 6:40:58 | 0:01:09 | 21171 | build successful |
| 11.arm64 | 89752 | 2023-04-27 18:09:18 | 0:01:16 | 31745 | build successful |
| 12.arm64 | 92485 | 2023-04-27 1:48:55 | 0:01:05 | 20579 | build successful |
| 10.14 | 163402 | 2023-04-26 17:27:05 | 0:03:13 | 52865 | build successful |
| 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 |