Information for RPM clingo-5.6.2-1.fc38.src.rpm
| ID | 1003549 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | clingo | |||||||||||
| Version | 5.6.2 | |||||||||||
| Release | 1.fc38 | |||||||||||
| Epoch | ||||||||||||
| Arch | src | |||||||||||
| Summary | A grounder and solver for logic programs | |||||||||||
| Description | Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem. | |||||||||||
| Build Time | 2023-05-12 11:54:23 GMT | |||||||||||
| Size | 4.70 MB | |||||||||||
| 73c5d133ca4804e7fbe3faec16a95d25 | ||||||||||||
| License | MIT | |||||||||||
| Buildroot | f38-build-711066-93578 | |||||||||||
| Provides |
|
|||||||||||
| Obsoletes | No Obsoletes | |||||||||||
| Conflicts | No Conflicts | |||||||||||
| Requires |
|
|||||||||||
| Recommends | No Recommends | |||||||||||
| Suggests | No Suggests | |||||||||||
| Supplements | No Supplements | |||||||||||
| Enhances | No Enhances | |||||||||||
| Files |
|
|||||||||||
| Component of | No Buildroots | |||||||||||
