smodels (science/smodels) Add to my watchlist
stable model semantics for logic programsAn implementation of the stable model semantics for logic programs. Smodels can be used either as a C++-library that can be called from user programs or as a stand-alone program together with a suitable front-end. The main front-end is lparse.
Version: 2.34 License: GPL
GitHub
23 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 14.arm64 | 10752 | 2024-01-22 14:08:09 | 0:00:18 | 4410 | build successful |
| 14 | 24455 | 2024-01-07 9:17:11 | 0:01:27 | 4075 | build successful |
| 10.7 | 158134 | 2023-08-30 8:38:52 | 0:00:22 | 48450 | failed install-port |
| 10.8 | 146556 | 2023-08-30 8:20:25 | 0:00:11 | 46509 | failed install-port |
| 13.arm64 | 13761 | 2023-03-10 16:53:53 | 0:00:11 | 4399 | build successful |
| 10.7 | 131085 | 2023-01-18 13:36:32 | 0:00:26 | 39843 | failed install-port |
| 10.8 | 120176 | 2023-01-18 13:23:08 | 0:00:28 | 37886 | failed install-port |
| 13 | 7601 | 2022-12-27 22:40:19 | 0:00:36 | 1085 | build successful |
| 10.7 | 101982 | 2022-06-04 16:39:55 | 0:00:10 | 31407 | failed install-port |
| 10.8 | 92064 | 2022-06-04 16:37:17 | 0:00:27 | 29459 | failed install-port |
| 10.8 | 78385 | 2022-01-24 15:10:46 | 0:00:07 | 25079 | failed install-port |
| 10.7 | 86899 | 2022-01-24 15:07:29 | 0:00:10 | 27022 | failed install-port |
| 12 | 19320 | 2022-01-24 9:28:27 | 0:01:21 | 3965 | build successful |
| 12.arm64 | 21198 | 2021-11-19 18:24:47 | 0:00:09 | 1327 | build successful |
| 10.8 | 55687 | 2021-07-19 17:11:16 | 0:00:11 | 17913 | failed install-port |
| 10.7 | 63154 | 2021-07-19 16:58:58 | 0:00:15 | 20054 | failed install-port |
| 10.8 | 43430 | 2021-04-11 19:23:58 | 0:00:17 | 14552 | failed install-port |
| 11 | 26677 | 2021-04-11 18:42:29 | 0:00:43 | 4673 | build successful |
| 10.7 | 49731 | 2021-04-11 17:33:56 | 0:00:12 | 16698 | failed install-port |
| 11.arm64 | 14107 | 2021-03-18 11:31:53 | 0:00:12 | 3858 | build successful |
| 10.8 | 15203 | 2020-02-03 14:08:39 | 0:00:15 | 3944 | failed install-port |
| 10.7 | 17066 | 2020-02-03 13:32:31 | 0:00:12 | 3949 | failed install-port |
| 10.15 | 16637 | 2019-12-25 21:32:18 | 0:00:55 | 1717 | build successful |