lparse (science/lparse) Add to my watchlist
prepare variable-free programs for smodelsSmodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.
Version: 1.1.2 License: GPL
GitHub
59 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 16315 | 2024-10-18 18:32:41 | 0:00:24 | 2118 | failed install-port |
| 13 | 76550 | 2024-08-13 22:40:16 | 0:01:00 | 24450 | failed install-port |
| 14 | 45944 | 2024-08-11 17:41:39 | 0:01:07 | 12655 | failed install-port |
| 14.arm64 | 39492 | 2024-08-10 19:54:01 | 0:00:06 | 12290 | failed install-port |
| 12 | 115924 | 2024-08-10 19:40:29 | 0:00:32 | 38708 | failed install-port |
| 12.arm64 | 135037 | 2024-08-10 14:08:36 | 0:00:06 | 38598 | failed install-port |
| 11 | 164206 | 2024-08-10 11:08:53 | 0:00:28 | 49802 | failed install-port |
| 10.8 | 187692 | 2024-08-10 6:05:21 | 0:00:24 | 59629 | failed install-port |
| 13.arm64 | 68747 | 2024-08-10 5:54:49 | 0:00:08 | 24199 | failed install-port |
| 10.7 | 201280 | 2024-08-10 5:38:03 | 0:00:21 | 61576 | failed install-port |
| 14.arm64 | 11644 | 2024-01-23 7:44:19 | 0:00:07 | 4478 | failed install-port |
| 14 | 20515 | 2023-12-24 0:23:41 | 0:00:36 | 3436 | failed install-port |
| 13.arm64 | 34007 | 2023-08-30 14:36:54 | 0:00:12 | 11059 | failed install-port |
| 11.arm64 | 101515 | 2023-08-30 10:48:23 | 0:00:11 | 36644 | failed install-port |
| 11 | 125628 | 2023-08-30 5:42:23 | 0:02:02 | 36648 | failed install-port |
| 12 | 80360 | 2023-08-30 5:18:32 | 0:01:51 | 25447 | failed install-port |
| 12.arm64 | 104816 | 2023-08-30 4:54:49 | 0:00:08 | 25450 | failed install-port |
| 10.8 | 146531 | 2023-08-30 4:27:50 | 0:00:43 | 46504 | failed install-port |
| 10.7 | 158103 | 2023-08-30 4:23:44 | 0:00:19 | 48445 | failed install-port |
| 13 | 47071 | 2023-08-30 4:21:01 | 0:01:33 | 11200 | failed install-port |
| 13.arm64 | 13746 | 2023-03-10 16:30:36 | 0:00:09 | 4399 | failed install-port |
| 12 | 56848 | 2023-01-18 18:24:58 | 0:00:43 | 16852 | failed install-port |
| 11.arm64 | 82662 | 2023-01-18 18:19:02 | 0:00:19 | 28048 | failed install-port |
| 13 | 16946 | 2023-01-18 13:49:39 | 0:00:44 | 2381 | failed install-port |
| 11 | 100521 | 2023-01-18 12:59:25 | 0:00:36 | 28071 | failed install-port |
| 12.arm64 | 83565 | 2023-01-18 12:31:22 | 0:00:11 | 16865 | failed install-port |
| 10.8 | 120158 | 2023-01-18 12:16:24 | 0:00:20 | 37880 | failed install-port |
| 10.7 | 131057 | 2023-01-18 12:08:31 | 0:00:20 | 39837 | failed install-port |
| 11.arm64 | 56278 | 2022-06-04 16:11:43 | 0:00:11 | 19587 | failed install-port |
| 10.7 | 101932 | 2022-06-04 12:19:14 | 0:00:16 | 31398 | failed install-port |
| 10.8 | 92022 | 2022-06-04 12:18:27 | 0:00:38 | 29450 | failed install-port |
| 12 | 31803 | 2022-06-04 12:18:20 | 0:00:34 | 8421 | failed install-port |
| 11 | 74546 | 2022-06-04 12:16:25 | 0:00:38 | 19644 | failed install-port |
| 12.arm64 | 53587 | 2022-06-04 12:15:13 | 0:00:10 | 8413 | failed install-port |
| 12.arm64 | 40864 | 2022-01-24 14:31:20 | 0:00:10 | 4015 | failed install-port |
| 11 | 62323 | 2022-01-24 12:12:20 | 0:00:28 | 15251 | failed install-port |
| 11.arm64 | 44999 | 2022-01-24 12:09:39 | 0:00:11 | 15191 | failed install-port |
| 10.8 | 78335 | 2022-01-24 12:07:55 | 0:00:33 | 25067 | failed install-port |
| 10.7 | 86836 | 2022-01-24 12:05:48 | 0:00:20 | 27010 | failed install-port |
| 12 | 17328 | 2022-01-19 23:39:36 | 0:00:59 | 3751 | failed install-port |
| 12.arm64 | 25819 | 2021-11-23 5:34:44 | 0:00:32 | 1480 | failed install-port |
| 10.7 | 63119 | 2021-07-19 13:27:20 | 0:00:30 | 20052 | failed install-port |
| 11 | 40667 | 2021-07-19 12:58:05 | 0:01:00 | 8037 | failed install-port |
| 10.8 | 55662 | 2021-07-19 11:49:25 | 0:00:37 | 17911 | failed install-port |
| 11.arm64 | 26413 | 2021-07-19 11:35:53 | 0:00:14 | 8217 | failed install-port |
| 11 | 26603 | 2021-04-11 11:24:35 | 0:01:05 | 4650 | failed install-port |
| 10.7 | 49650 | 2021-04-11 8:15:49 | 0:00:36 | 16676 | failed install-port |
| 10.8 | 43358 | 2021-04-11 8:10:35 | 0:00:43 | 14530 | failed install-port |
| 11 | 21769 | 2021-02-15 3:19:40 | 0:01:15 | 3064 | failed install-port |
| 11.arm64 | 12290 | 2021-02-14 16:16:30 | 0:00:20 | 3206 | failed install-port |
| 10.7 | 44615 | 2021-02-14 16:13:28 | 0:00:42 | 15065 | failed install-port |
| 10.8 | 38543 | 2021-02-14 16:09:22 | 0:00:41 | 12923 | failed install-port |
| 10.7 | 16994 | 2020-02-03 8:13:34 | 0:00:32 | 3946 | failed install-port |
| 10.8 | 15141 | 2020-02-03 7:35:24 | 0:00:41 | 3941 | failed install-port |
| 10.15 | 17007 | 2019-12-27 12:42:14 | 0:01:21 | 1727 | build successful |
| 10.6 | 4564 | 2019-11-25 20:10:58 | 0:06:14 | 1899 | build successful |
| 10.6.x86_64 | 8960 | 2019-11-18 13:55:24 | 0:05:22 | 1899 | build successful |
| 10.8 | 7993 | 2019-11-16 14:25:33 | 0:00:34 | 1896 | failed install-port |
| 10.7 | 9094 | 2019-11-15 14:46:22 | 0:00:33 | 1896 | failed install-port |