Wed, 13 Nov 2024 14:02:45 UTC | login

Information for RPM clingo-5.6.1-1.fc37.src.rpm

ID811961
Nameclingo
Version5.6.1
Release1.fc37
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 Time2022-09-21 09:50:38 GMT
Size3.43 MB
16b81d2dc89b08a8f068392dae9bafa1
LicenseMIT
Buildrootf37-build-639038-71078
Provides
clingo = 5.6.1-1.fc37
clingo-debuginfo = 5.6.1-1.fc37
clingo-debugsource = 5.6.1-1.fc37
clingo-devel = 5.6.1-1.fc37
lua-clingo = 5.6.1-1.fc37
python3-clingo = 5.6.1-1.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
bison
cmake
gcc-c++
lua-devel
make
python3
python3-cffi
python3-devel
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.1.tar.gz3.56 MB
clingo.clasp-disable-class-memaccess-warning.patch454.00 B
clingo.spec2.89 KB
Component of No Buildroots