clingcon (math/clingcon) Updated: 7 months, 3 weeks ago Add to my watchlist
Extension of clingo to handle constraints over integersClingcon is an answer set solver for constraint logic programs, building upon the answer set solver clingo. It extends the high-level modeling language of ASP with constraint solving capacities. Constraints over finite domain integer variables can be used in logic programs. Clingcon adopts state-of-the-art techniques from the area of SMT, like conflict-driven learning and theory propagation. It uses lazy nogood and variable generation on the order encoding and features several preprocessing techniques.
Version: 5.2.1 License: MIT GitHub58 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
15 | 17525 | 2024-10-20 9:41:43 | 0:00:54 | 2331 | build successful |
10.11 | 272483 | 2024-07-30 13:13:23 | 0:05:19 | 88935 | failed install-port |
10.10 | 278377 | 2024-07-30 13:09:32 | 0:05:14 | 88773 | failed install-port |
10.9 | 285704 | 2024-07-30 13:07:53 | 0:05:51 | 88445 | failed install-port |
10.8 | 186147 | 2024-07-30 13:05:03 | 0:06:02 | 59238 | failed install-port |
10.7 | 199594 | 2024-07-30 13:03:45 | 0:04:46 | 61185 | failed install-port |
10.7 | 181258 | 2024-03-20 21:44:09 | 0:11:33 | 55887 | failed install-port |
10.14 | 199402 | 2024-03-18 21:26:59 | 0:06:01 | 65174 | build successful |
10.8 | 168573 | 2024-03-18 17:33:33 | 0:05:58 | 53948 | failed install-port |
10.13 | 224603 | 2024-03-18 11:32:48 | 0:04:57 | 74423 | build successful |
12 | 100313 | 2024-03-17 9:09:58 | 0:04:22 | 32907 | build successful |
10.10 | 260154 | 2024-03-16 16:21:07 | 0:05:55 | 83471 | failed install-port |
13 | 63996 | 2024-03-15 20:59:40 | 0:02:57 | 18783 | build successful |
10.15 | 175413 | 2024-03-15 11:38:47 | 0:06:05 | 54164 | build successful |
14 | 32624 | 2024-03-15 9:33:13 | 0:02:56 | 6964 | build successful |
13.arm64 | 52864 | 2024-03-15 6:22:11 | 0:00:30 | 18522 | build successful |
14.arm64 | 20285 | 2024-03-15 3:11:48 | 0:00:39 | 6635 | build successful |
10.6 | 157220 | 2024-03-15 2:03:25 | 0:02:55 | 56110 | build successful |
11 | 146373 | 2024-03-15 2:00:08 | 0:02:55 | 44093 | build successful |
10.9 | 267178 | 2024-03-15 1:49:15 | 0:06:40 | 83155 | failed install-port |
10.6.x86_64 | 192844 | 2024-03-15 1:48:21 | 0:03:27 | 56156 | build successful |
10.11 | 255059 | 2024-03-15 1:41:56 | 0:06:31 | 83579 | failed install-port |
10.12 | 264392 | 2024-03-15 1:24:31 | 0:05:55 | 82365 | build successful |
12.arm64 | 120582 | 2024-03-15 1:14:40 | 0:00:32 | 32891 | build successful |
14.arm64 | 9837 | 2024-01-21 15:13:22 | 0:00:35 | 4334 | build successful |
14 | 10422 | 2023-11-12 6:28:19 | 0:03:15 | 1634 | build successful |
10.11 | 232339 | 2023-08-17 22:07:58 | 0:03:31 | 75536 | failed install-port |
10.8 | 144719 | 2023-08-17 21:57:39 | 0:01:50 | 45900 | failed install-port |
10.7 | 156310 | 2023-08-17 21:53:30 | 0:04:47 | 47840 | failed install-port |
10.10 | 235945 | 2023-08-17 21:46:00 | 0:04:28 | 75424 | failed install-port |
10.9 | 242422 | 2023-08-17 21:29:55 | 0:01:42 | 75113 | failed install-port |
13.arm64 | 3350 | 2023-02-27 11:48:25 | 0:00:21 | 1086 | build successful |
10.8 | 118515 | 2023-01-12 3:12:48 | 0:06:39 | 37485 | failed install-port |
12.arm64 | 81819 | 2023-01-11 23:30:37 | 0:00:34 | 16472 | build successful |
10.9 | 215430 | 2023-01-11 20:57:15 | 0:03:30 | 66700 | failed install-port |
10.14 | 152478 | 2023-01-11 18:03:14 | 0:01:16 | 48773 | build successful |
10.11 | 207256 | 2023-01-11 17:48:32 | 0:01:13 | 67127 | failed install-port |
10.13 | 177005 | 2023-01-11 17:46:24 | 0:01:28 | 58005 | build successful |
10.12 | 214584 | 2023-01-11 17:42:59 | 0:01:25 | 65926 | build successful |
10.10 | 209783 | 2023-01-11 17:42:52 | 0:01:24 | 67007 | failed install-port |
10.7 | 129282 | 2023-01-11 17:35:05 | 0:04:54 | 39442 | failed install-port |
11.arm64 | 81062 | 2023-01-11 17:33:23 | 0:00:37 | 27655 | build successful |
12.arm64 | 79710 | 2022-12-29 18:26:35 | 0:00:14 | 15784 | failed install-port |
10.6 | 100478 | 2022-12-29 9:51:55 | 0:01:47 | 38978 | build successful |
10.8 | 115976 | 2022-12-29 8:52:30 | 0:01:01 | 36797 | failed install-port |
10.7 | 126605 | 2022-12-29 8:50:17 | 0:01:27 | 38753 | failed install-port |
10.6.x86_64 | 135431 | 2022-12-29 8:38:27 | 0:01:33 | 39008 | build successful |
12 | 53803 | 2022-12-29 6:20:39 | 0:02:02 | 15772 | build successful |
10.15 | 125052 | 2022-12-29 6:20:30 | 0:01:41 | 37082 | build successful |
10.14 | 151184 | 2022-12-29 6:17:26 | 0:00:09 | 48089 | failed install-dependencies |
13 | 8269 | 2022-12-29 6:10:43 | 0:00:40 | 1174 | build successful |
11 | 97373 | 2022-12-29 5:59:50 | 0:01:13 | 26993 | build successful |
10.9 | 213689 | 2022-12-29 5:51:41 | 0:01:55 | 66013 | failed install-port |
10.13 | 175598 | 2022-12-29 5:48:53 | 0:00:18 | 57321 | failed install-dependencies |
10.11 | 205860 | 2022-12-29 5:48:46 | 0:00:19 | 66440 | failed install-dependencies |
10.10 | 208209 | 2022-12-29 5:48:05 | 0:00:16 | 66320 | failed install-dependencies |
10.12 | 213051 | 2022-12-29 5:47:29 | 0:00:14 | 65241 | failed install-dependencies |
11.arm64 | 79019 | 2022-12-29 5:46:25 | 0:00:16 | 26967 | failed install-port |