clasp (math/clasp) Updated: 5 months ago Add to my watchlist

A conflict-driven nogood learning answer set solver

clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).

Version: 3.3.10 License: MIT GitHub
Reset

69 build(s) found
Builder Build Number Start Time Elapsed Time Watcher Build Status
14.arm64 17893 2024-02-19 7:36:41 0:00:16 5760 build successful
14 30851 2024-02-18 21:49:04 0:00:52 6089 build successful
12.arm64 118715 2024-02-18 15:26:08 0:00:16 32017 build successful
12 97812 2024-02-18 12:34:42 0:01:07 32029 build successful
11 143760 2024-02-18 10:49:22 0:02:31 43217 build successful
10.14 196842 2024-02-18 9:41:39 0:00:56 64300 build successful
10.11 252567 2024-02-18 9:36:02 0:00:59 82704 build successful
10.15 172860 2024-02-18 9:34:44 0:01:14 53288 build successful
10.13 221897 2024-02-18 9:28:57 0:01:14 73547 build successful
10.6.x86_64 190032 2024-02-18 9:26:52 0:01:07 55278 build successful
10.12 261722 2024-02-18 9:25:18 0:01:02 81491 build successful
10.6 154487 2024-02-18 9:24:39 0:01:25 55232 build successful
10.8 165952 2024-02-18 9:24:11 0:01:08 53073 build successful
10.7 178537 2024-02-18 9:23:34 0:01:23 55012 build successful
10.10 257469 2024-02-18 9:23:13 0:01:01 82597 build successful
10.9 264413 2024-02-18 9:17:31 0:00:45 82279 build successful
13 62174 2024-02-18 8:52:20 0:00:45 17908 build successful
13.arm64 50821 2024-02-18 8:20:40 0:00:18 17648 build successful
14.arm64 11599 2024-01-23 7:10:31 0:00:30 4477 build successful
14 20955 2023-12-25 4:18:52 0:03:27 3478 build successful
10.7 156983 2023-08-27 4:14:51 0:01:21 48030 build successful
11.arm64 100614 2023-08-25 0:24:51 0:00:26 36230 build successful
10.13 202356 2023-08-24 23:29:22 0:01:23 66570 build successful
10.6 132272 2023-08-23 22:10:45 0:03:26 48248 build successful
10.8 145352 2023-08-23 20:21:49 0:02:30 46089 build successful
11 124500 2023-08-23 17:45:24 0:01:51 36234 build successful
10.6.x86_64 167801 2023-08-23 14:38:14 0:02:38 48287 build successful
10.14 177045 2023-08-23 9:03:41 0:02:22 57329 build successful
12 79213 2023-08-23 8:47:26 0:01:41 25033 build successful
10.10 236537 2023-08-23 8:28:13 0:01:14 75612 build successful
10.9 243025 2023-08-23 8:22:38 0:01:31 75302 build successful
10.11 232920 2023-08-23 6:17:49 0:02:11 75725 build successful
10.15 152626 2023-08-23 4:11:30 0:02:01 46317 build successful
10.12 241457 2023-08-22 10:52:25 0:01:22 74518 build successful
12.arm64 103802 2023-08-21 21:40:36 0:00:23 25036 build successful
13 45443 2023-08-21 18:09:32 0:02:00 10786 build successful
13.arm64 32588 2023-08-21 17:55:31 0:00:25 10643 build successful
13.arm64 6674 2023-03-04 21:31:39 0:00:31 3857 build successful
13 14717 2023-01-13 9:42:09 0:00:39 2045 build successful
12 11128 2022-01-06 11:53:54 0:01:16 3085 build successful
12.arm64 16089 2021-11-15 13:40:07 0:00:42 1084 build successful
10.9 156613 2021-08-14 8:27:07 0:01:48 48129 build successful
10.7 65252 2021-08-14 4:28:56 0:04:22 20854 build successful
10.6 38265 2021-08-14 4:25:49 0:05:55 20846 build successful
10.6.x86_64 70265 2021-08-14 4:25:41 0:05:06 20817 build successful
10.11 150995 2021-08-14 4:25:32 0:02:44 48383 build successful
11 42887 2021-08-14 4:25:22 0:03:15 8840 build successful
10.15 68209 2021-08-14 4:25:14 0:03:07 19026 build successful
10.14 96829 2021-08-14 4:25:03 0:02:41 30033 build successful
10.12 155911 2021-08-14 4:24:56 0:02:42 47371 build successful
10.8 57730 2021-08-14 4:24:48 0:02:09 18713 build successful
10.13 120302 2021-08-14 4:24:41 0:02:24 39323 build successful
10.10 152365 2021-08-14 4:24:35 0:02:09 48446 build successful
11.arm64 27785 2021-08-14 4:24:27 0:00:40 9027 build successful
10.14 76774 2021-01-20 19:02:39 0:02:51 23340 build successful
10.12 136336 2021-01-20 18:37:21 0:02:24 40680 build successful
10.11 131178 2021-01-20 18:19:45 0:03:53 41688 build successful
11 15802 2021-01-20 17:35:53 0:03:41 2128 build successful
10.13 101088 2021-01-20 16:44:58 0:02:49 32648 build successful
10.15 48413 2021-01-20 15:39:27 0:02:46 12925 build successful
10.10 132860 2021-01-20 13:56:34 0:03:53 41746 build successful
10.8 35831 2021-01-20 13:09:03 0:03:00 11996 build successful
10.6.x86_64 45785 2021-01-20 12:44:58 0:05:51 14161 build successful
10.7 41410 2021-01-20 12:27:16 0:07:07 14139 build successful
10.9 136736 2021-01-20 12:16:39 0:01:39 41697 build successful
10.6 24611 2021-01-20 10:36:57 0:08:13 14149 build successful
11.arm64 9514 2021-01-19 3:20:14 0:01:11 2213 build successful
11 11568 2021-01-02 14:40:21 0:03:28 1556 build successful
11.arm64 6987 2021-01-02 12:53:37 0:01:09 1653 build successful