Information for RPM clingo-5.6.1-1.fc37.src.rpm
ID | 811961 | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | clingo | |||||||||||
Version | 5.6.1 | |||||||||||
Release | 1.fc37 | |||||||||||
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 | 2022-09-21 09:50:38 GMT | |||||||||||
Size | 3.43 MB | |||||||||||
16b81d2dc89b08a8f068392dae9bafa1 | ||||||||||||
License | MIT | |||||||||||
Buildroot | f37-build-639038-71078 | |||||||||||
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 |