Information for RPM clingo-5.6.2-8.fc40.src.rpm
| ID | 1242631 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | clingo | ||||||||||||
| Version | 5.6.2 | ||||||||||||
| Release | 8.fc40 | ||||||||||||
| 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 | 2024-03-18 12:14:28 GMT | ||||||||||||
| Size | 4.69 MB | ||||||||||||
| 41d6b5cb8e26fbb3f5dfab571e6304c9 | |||||||||||||
| License | MIT | ||||||||||||
| Buildroot | f40-build-790783-136817 | ||||||||||||
| 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 | ||||||||||||
