Package details
| Package | clingo |
|---|---|
| Version | 5.4.0-r1 |
| Description | A grounder and solver for logic programs |
| Project | https://potassco.org/clingo/ |
| License | MIT |
| Branch | edge |
| Repository | community |
| Architecture | s390x |
| Size | 1.84 MB |
| Installed size | 5.03 MB |
| Origin | clingo |
| Maintainer | None |
| Build time | 2020-05-30 13:01:21 |
| Commit | 5c9c6d3b2890466745a62592afa5b64789d3f350 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |