Package details
Package | clingo |
---|---|
Version | 5.4.1-r0 |
Description | grounder and solver for logic programs |
Project | https://potassco.org/clingo/ |
License | MIT |
Branch | v3.13 |
Repository | community |
Architecture | x86_64 |
Size | 1.8MiB |
Installed size | 4.3MiB |
Origin | clingo |
Maintainer | None |
Build time | 2020-12-07 01:56:20 |
Commit | 07e352ac2b7d519081ae84cd9b2fff5048fc769b | Merge request | 15461 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |