clingcon (math/clingcon) Updated: 8 months, 1 week ago Add to my watchlist

Extension of clingo to handle constraints over integers

Clingcon 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 GitHub
Reset

58 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