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 4 of 4 | Showing build(s) 301 to 320
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |