Information for RPM clingo-5.4.0-3.fc33.src.rpm
ID | 620103 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | clingo | ||||||||||||
Version | 5.4.0 | ||||||||||||
Release | 3.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 | 2020-06-04 04:40:11 GMT | ||||||||||||
Size | 2.55 MB | ||||||||||||
5aee4e712e932a56a21528c43ab799bb | |||||||||||||
License | MIT | ||||||||||||
Buildroot | f33-build-229801-50021 | ||||||||||||
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 |