Package details
Package | clasp |
---|---|
Version | 3.3.9-r2 |
Description | Answer set solver for (extended) normal logic programs |
Project | https://potassco.org/ |
License | MIT |
Branch | v3.19 |
Repository | community |
Architecture | x86_64 |
Size | 597.8KiB |
Installed size | 1.4MiB |
Origin | clasp |
Maintainer | Celeste |
Build time | 2023-08-05 04:26:44 |
Commit | bbfcb6a803b213a6998b3dcaab18583b2bc88be4 | Merge request | 49596 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |