Information for RPM clingo-5.6.2-6.fc40.src.rpm
ID | 1066698 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | clingo | ||||||||||||
Version | 5.6.2 | ||||||||||||
Release | 6.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 | 2023-10-31 16:46:39 GMT | ||||||||||||
Size | 4.70 MB | ||||||||||||
a290b119bd06c6f371ec08c70fd62c48 | |||||||||||||
License | MIT | ||||||||||||
Buildroot | f40-build-734315-105813 | ||||||||||||
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 |