Information for RPM clingo-5.4.1-1.fc33.src.rpm
| ID | 770606 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | clingo | ||||||||||
| Version | 5.4.1 | ||||||||||
| Release | 1.fc33 | ||||||||||
| 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 | 2021-04-08 18:21:57 GMT | ||||||||||
| Size | 2.55 MB | ||||||||||
| 380118978e0e30afb6006e08d74fd6be | |||||||||||
| License | MIT | ||||||||||
| Buildroot | f33-build-557726-65631 | ||||||||||
| 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 | ||||||||||
