clingo (math/clingo) Updated: 1 month, 4 weeks ago Add to my watchlist
An Answer Set Programming system to ground and solve logic programs.Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.
Version: 5.7.1 License: MIT
GitHub
80 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 12.arm64 | 118965 | 2024-02-21 7:16:29 | 0:00:35 | 32097 | build successful |
| 13 | 62397 | 2024-02-21 5:18:56 | 0:01:25 | 17988 | build successful |
| 13.arm64 | 51095 | 2024-02-21 1:42:59 | 0:00:33 | 17728 | build successful |
| 10.14 | 197231 | 2024-02-20 19:59:07 | 0:08:26 | 64380 | build successful |
| 11 | 144142 | 2024-02-20 19:47:10 | 0:03:35 | 43297 | build successful |
| 10.15 | 173241 | 2024-02-20 19:46:48 | 0:09:05 | 53368 | build successful |
| 10.13 | 222289 | 2024-02-20 19:46:09 | 0:10:10 | 73627 | build successful |
| 14 | 31093 | 2024-02-20 19:45:48 | 0:01:27 | 6169 | build successful |
| 12 | 98191 | 2024-02-20 19:45:28 | 0:04:42 | 32109 | build successful |
| 10.6 | 154813 | 2024-02-20 19:38:23 | 0:05:54 | 55312 | build successful |
| 10.11 | 252891 | 2024-02-20 19:35:24 | 0:07:29 | 82784 | build successful |
| 10.6.x86_64 | 190370 | 2024-02-20 19:34:08 | 0:03:45 | 55358 | build successful |
| 10.8 | 166282 | 2024-02-20 19:33:10 | 0:03:16 | 53153 | build successful |
| 10.12 | 262065 | 2024-02-20 19:31:04 | 0:06:22 | 81571 | build successful |
| 10.7 | 178874 | 2024-02-20 19:30:11 | 0:03:15 | 55092 | build successful |
| 10.9 | 264749 | 2024-02-20 19:28:09 | 0:04:48 | 82359 | build successful |
| 10.10 | 257804 | 2024-02-20 19:26:15 | 0:04:17 | 82677 | build successful |
| 14.arm64 | 18128 | 2024-02-20 19:13:16 | 0:00:34 | 5840 | build successful |
| 14.arm64 | 7862 | 2024-01-18 20:13:33 | 0:00:51 | 4157 | build successful |
| 14 | 8054 | 2023-11-06 22:47:40 | 0:03:04 | 1382 | build successful |
| 13.arm64 | 3349 | 2023-02-27 11:47:41 | 0:00:42 | 1086 | build successful |
| 10.14 | 152477 | 2023-01-11 17:56:30 | 0:06:40 | 48773 | build successful |
| 10.11 | 207255 | 2023-01-11 17:42:34 | 0:05:56 | 67127 | build successful |
| 10.13 | 177004 | 2023-01-11 17:39:46 | 0:06:35 | 58005 | build successful |
| 10.10 | 209782 | 2023-01-11 17:37:31 | 0:05:16 | 67007 | build successful |
| 10.12 | 214583 | 2023-01-11 17:37:05 | 0:05:52 | 65926 | build successful |
| 12.arm64 | 79709 | 2022-12-29 18:25:46 | 0:00:47 | 15784 | build successful |
| 10.6 | 100477 | 2022-12-29 9:47:02 | 0:04:51 | 38978 | build successful |
| 10.8 | 115975 | 2022-12-29 8:50:00 | 0:02:28 | 36797 | build successful |
| 10.7 | 126604 | 2022-12-29 8:48:13 | 0:02:02 | 38753 | build successful |
| 10.6.x86_64 | 135430 | 2022-12-29 8:35:28 | 0:02:57 | 39008 | build successful |
| 10.15 | 125051 | 2022-12-29 6:16:38 | 0:03:50 | 37082 | build successful |
| 10.14 | 151183 | 2022-12-29 6:15:06 | 0:02:18 | 48089 | failed install-port |
| 12 | 53802 | 2022-12-29 6:14:48 | 0:05:49 | 15772 | build successful |
| 13 | 8268 | 2022-12-29 6:09:02 | 0:01:39 | 1174 | build successful |
| 11 | 97372 | 2022-12-29 5:57:23 | 0:02:24 | 26993 | build successful |
| 10.11 | 205859 | 2022-12-29 5:46:49 | 0:01:55 | 66440 | failed install-port |
| 10.9 | 213688 | 2022-12-29 5:46:38 | 0:05:01 | 66013 | build successful |
| 10.12 | 213050 | 2022-12-29 5:46:27 | 0:01:00 | 65241 | failed install-port |
| 10.10 | 208208 | 2022-12-29 5:46:15 | 0:01:48 | 66320 | failed install-port |
| 10.13 | 175597 | 2022-12-29 5:46:04 | 0:02:47 | 57321 | failed install-port |
| 11.arm64 | 79018 | 2022-12-29 5:45:39 | 0:00:44 | 26967 | build successful |
| 10.10 | 207831 | 2022-12-25 18:11:20 | 0:02:12 | 66135 | failed install-port |
| 13 | 6413 | 2022-12-25 6:26:27 | 0:01:13 | 970 | build successful |
| 10.13 | 152714 | 2022-06-03 15:47:23 | 0:04:15 | 49912 | build successful |
| 10.7 | 101545 | 2022-06-03 13:31:15 | 0:06:48 | 31328 | build successful |
| 12 | 31497 | 2022-06-03 12:55:18 | 0:03:34 | 8351 | build successful |
| 10.10 | 185174 | 2022-06-03 12:27:18 | 0:01:45 | 58907 | failed install-port |
| 10.14 | 129183 | 2022-06-03 11:36:49 | 0:02:24 | 40684 | build successful |
| 10.8 | 91655 | 2022-06-03 11:13:17 | 0:04:19 | 29380 | build successful |
| 10.11 | 184078 | 2022-06-03 4:13:43 | 0:02:06 | 59022 | build successful |
| 10.15 | 101842 | 2022-06-03 2:57:26 | 0:02:54 | 29678 | build successful |
| 10.9 | 190231 | 2022-06-03 1:36:23 | 0:04:06 | 58597 | build successful |
| 12.arm64 | 53179 | 2022-06-03 0:31:30 | 0:00:41 | 8342 | build successful |
| 10.12 | 188572 | 2022-06-02 16:37:31 | 0:01:27 | 57826 | build successful |
| 11 | 74284 | 2022-06-02 16:30:05 | 0:02:19 | 19574 | build successful |
| 10.6 | 74585 | 2022-06-02 15:31:10 | 0:05:12 | 31529 | build successful |
| 10.6.x86_64 | 108490 | 2022-06-02 15:29:51 | 0:05:20 | 31497 | build successful |
| 11.arm64 | 55906 | 2022-06-02 14:31:39 | 0:00:43 | 19517 | build successful |
| 10.10 | 183932 | 2022-05-24 0:50:16 | 0:01:17 | 58523 | failed install-port |
| 10.6 | 71291 | 2022-05-23 15:47:09 | 0:08:52 | 31132 | build successful |
| 10.6.x86_64 | 105401 | 2022-05-23 15:43:57 | 0:08:50 | 31100 | build successful |
| 10.6 | 54114 | 2022-01-16 3:38:53 | 0:05:57 | 26852 | failed install-port |
| 10.6.x86_64 | 88481 | 2022-01-16 3:37:09 | 0:04:59 | 26813 | failed install-port |
| 10.10 | 171160 | 2022-01-16 3:27:58 | 0:01:50 | 54258 | failed install-port |
| 12 | 11106 | 2022-01-06 11:13:31 | 0:01:43 | 3082 | build successful |
| 12.arm64 | 16289 | 2021-11-15 16:12:57 | 0:01:01 | 1087 | build successful |
| 11 | 42985 | 2021-08-15 14:08:22 | 0:04:05 | 8879 | build successful |
| 10.15 | 68307 | 2021-08-15 13:50:19 | 0:03:36 | 19065 | build successful |
| 10.11 | 151093 | 2021-08-15 13:37:16 | 0:03:44 | 48422 | build successful |
| 10.14 | 96928 | 2021-08-15 13:34:46 | 0:02:56 | 30072 | build successful |
| 10.12 | 156009 | 2021-08-15 13:24:45 | 0:03:28 | 47410 | build successful |
| 10.7 | 65356 | 2021-08-15 13:16:20 | 0:04:49 | 20893 | build successful |
| 10.13 | 120401 | 2021-08-15 13:05:26 | 0:02:43 | 39362 | build successful |
| 10.10 | 152463 | 2021-08-15 12:38:35 | 0:02:46 | 48485 | failed install-port |
| 10.6.x86_64 | 70357 | 2021-08-15 12:38:02 | 0:06:20 | 20856 | failed install-port |
| 10.9 | 156711 | 2021-08-15 12:27:30 | 0:06:14 | 48168 | build successful |
| 10.6 | 38294 | 2021-08-15 12:25:44 | 0:08:41 | 20885 | failed install-port |
| 10.8 | 57827 | 2021-08-15 12:25:37 | 0:06:13 | 18752 | build successful |
| 11.arm64 | 27821 | 2021-08-15 12:25:15 | 0:01:04 | 9066 | build successful |