Sat, 15 Jun 2024 06:09:25 UTC | login

Information for RPM clingo-5.6.2-6.fc40.src.rpm

ID1066698
Nameclingo
Version5.6.2
Release6.fc40
Epoch
Archsrc
SummaryA grounder and solver for logic programs
DescriptionClingo 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 Time2023-10-31 16:46:39 GMT
Size4.70 MB
a290b119bd06c6f371ec08c70fd62c48
LicenseMIT
Buildrootf40-build-734315-105813
Provides
clingo = 5.6.2-6.fc40
clingo-debuginfo = 5.6.2-6.fc40
clingo-debugsource = 5.6.2-6.fc40
clingo-devel = 5.6.2-6.fc40
lua-clingo = 5.6.2-6.fc40
python3-clingo = 5.6.2-6.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
bison
cmake
gcc-c++
lua-devel
make
python3
python3-cffi
python3-devel
python3-setuptools
re2c
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 3 of 3
Name ascending sort Size
clingo-5.6.2.tar.gz4.84 MB
clingo.clasp-disable-class-memaccess-warning.patch454.00 B
clingo.spec6.32 KB
Component of No Buildroots