Information for clingo

Versions

• master
• HEAD
• 5.6.2 (11)
• 5.6.1
• 5.5.2 (2)
• 5.5.1
• 5.5.0 (4)
• 5.4.1 (2)
• 5.4.0 (2)
• 5.3.0 (2)

Package names

• clingo (13)

Repositories

• Alpine Linux 3.13
• Alpine Linux 3.14
• Alpine Linux 3.15
• Alpine Linux 3.16
• Alpine Linux 3.17
• Alpine Linux 3.18
• Alpine Linux Edge
• Arch Linux ARM aarch64
• AUR
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora 39
• Fedora Rawhide
• FreeBSD Ports
• Gentoo overlay GURU
• GNU Guix
• Homebrew
• LiGurOS stable
• LiGurOS develop
• MacPorts
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs stable 23.11
• nixpkgs unstable
• openSUSE Leap 15.4
• openSUSE Leap 15.5
• openSUSE Tumbleweed
• Scoop
• Spack
• T2 SDE

Categories

• Development/Tools/Other
• Unspecified
• extra/base
• math (2)
• sci-mathematics

Licenses

• GPL3
• MIT (9)

Summaries

• A grounder and solver for logic programs (2)
• ASP system to ground and solve logic programs (2)
• An Answer Set Programming system to ground and solve logic programs.
• Grounder and solver for logic programs (4)
• Grounder and solver for logic programs (development files)
• Grounder and solver for logic programs (libraries)
• Grounding tools for (disjunctive) logic programs
• Integrated grounder and solver for answer set logic programs
• Python bindings for clingo
• grounder and solver for logic programs
• grounder and solver for logic programs (development files)

Maintainers

• 7c6f434c@mail.ru
• adsun@aur
• alalazo@spack
• barracuda156@github
• cielesti@protonmail.com
• fallback-mnt-alpine@repology
• lssndrbarbieri@gmail.com
• t2@t2-project.org
• tgamblin@spack
• yuri@freebsd.org

• Group email

Homepage links

• https://github.com/potassco/clingo^{ok, no IPv6}
• https://potassco.org/^ok (4)
• https://potassco.org/clingo^redir
• https://potassco.org/clingo/^ok (8)

Repository links

• https://github.com/potassco/clingo.git^{redir, no IPv6}

All package recipes

• https://archlinuxarm.org/packages/aarch64/clingo/files/PKGBUILD^{dead (see archive.org)}
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=clingo^ok
• https://build.opensuse.org/package/view_file/openSUSE:Factory/clingo/clingo.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.4:Update/clingo/clingo.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.5:Update/clingo/clingo.spec?expand=1^ok
• https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD^ok
• https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.13-stable^ok
• https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.14-stable^ok
• https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.15-stable^ok
• https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.16-stable^ok
• https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.17-stable^ok
• https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.18-stable^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/potassco.scm#n145^ok
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/clingo.rb^{dead (see archive.org)}
• https://github.com/macports/macports-ports/blob/master/math/clingo/Portfile^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/potassco/clingo.nix#L19^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/potassco/clingo.nix#L17^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/potassco/clingo.nix#L19^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/potassco/clingo.nix#L19^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/potassco/clingo.nix#L19^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.11/pkgs/applications/science/logic/potassco/clingo.nix#L19^{ok, no IPv6}
• https://github.com/ScoopInstaller/Extras/blob/master/bucket/clingo.json^{ok, no IPv6}
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/package.py^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/clingo/clingo-5.5.2.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/clingo/clingo-5.5.2.ebuild^ok
• https://gitweb.gentoo.org/repo/proj/guru.git/tree/sci-mathematics/clingo/clingo-5.5.2.ebuild^ok
• https://src.fedoraproject.org/rpms/clingo/blob/f29/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f30/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f31/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f32/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f33/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f34/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f35/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f36/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f37/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f38/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/f39/f/clingo.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/clingo/blob/rawhide/f/clingo.spec^{ok, no IPv6}

Downloads

• https://github.com/potassco/clingo^{ok, no IPv6}
• https://github.com/potassco/clingo/archive/refs/tags/v5.5.2.tar.gz^{ok, no IPv6}
• https://github.com/potassco/clingo/archive/refs/tags/v5.6.2.tar.gz^{ok, no IPv6}
• https://github.com/potassco/clingo/archive/v5.6.2.tar.gz^{ok, no IPv6}
• https://github.com/potassco/clingo/archive/v5.6.2/clingo-5.6.2.tar.gz^{ok, no IPv6}
• https://github.com/potassco/clingo/archive/vmaster.tar.gz^{dead (see archive.org)}
• https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-win64.zip^{ok, no IPv6}

Patches

• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/python38.patch^{ok, no IPv6}
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/setuptools-2.patch^{ok, no IPv6}
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/size-t.patch^{ok, no IPv6}
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/vs2022.patch^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/clingo/5.3.0/5.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.3.0/5.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.3.0/5.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.0/2.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.0/4.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.1/1.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.1/1.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.1/3.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.5.0/2.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.5.2/1.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.6.1/1.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.6.2/1.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.6.2/1.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/clingo/5.6.2/6.fc39/data/logs/^{ok, no IPv6}