| Name | Version | Summary | date |
|---|---|---|---|
| pyspel | 1.0.2 | Python Specification Language (Pyspel) | 2024-07-08 10:26:10 |
| 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 |
|---|---|---|---|
| 62 | 1480 | 7107 | 282006 |