clasp (math/clasp) Updated: 9 months, 1 week ago Add to my watchlist
A conflict-driven nogood learning answer set solverclasp 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
70 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 11532 | 2024-10-12 10:25:25 | 0:00:36 | 1101 | build successful |
| 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 |