Sat, 15 Jun 2024 08:03:32 UTC | login

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

ID1242631
Nameclingo
Version5.6.2
Release8.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 Time2024-03-18 12:14:28 GMT
Size4.69 MB
41d6b5cb8e26fbb3f5dfab571e6304c9
LicenseMIT
Buildrootf40-build-790783-136817
Provides
clingo = 5.6.2-8.fc40
clingo-debuginfo = 5.6.2-8.fc40
clingo-debugsource = 5.6.2-8.fc40
clingo-devel = 5.6.2-8.fc40
lua-clingo = 5.6.2-8.fc40
python3-clingo = 5.6.2-8.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.69 KB
Component of No Buildroots