Package details
Package | clingo |
---|---|
Version | 5.4.1-r0 |
Description | grounder and solver for logic programs |
Project | https://potassco.org/clingo/ |
License | MIT |
Branch | edge |
Repository | community |
Architecture | s390x |
Size | 1.87 MB |
Installed size | 5 MB |
Origin | clingo |
Maintainer | None |
Build time | 2020-12-07 01:56:20 |
Commit | 07e352ac2b7d519081ae84cd9b2fff5048fc769b |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |