Name | Version | Summary | date |
---|---|---|---|
xclingo | 2.0b18 | Tool for explaining and debugging Answer Set Programs. | 2023-11-04 09:48:23 |
dafact | 0.5 | Encodes data as ASP facts. | 2023-09-15 09:30:57 |
clyngor | 0.4.3 | Python wrapper around Clingo/Answer Set Programming | 2023-05-11 13:44:46 |
shilver | 0.0.1 | An outstandingly fast Shingoki solver. | 2023-04-19 11:03:19 |
clyngor-with-clingo | 5.3.post1 | Installation of clingo binary along clyngor | 2019-05-15 16:36:40 |
powergrasp | 0.8.18 | compress graphs with answer-set-programming | 2018-12-18 10:23:12 |
hour | day | week | total |
---|---|---|---|
60 | 2073 | 9392 | 224181 |