Information for clingo

Versions

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

Package names

• clingo (12)

Repositories

• Alpine Linux 3.13
• Alpine Linux 3.14
• Alpine Linux 3.15
• Alpine Linux 3.16
• Alpine Linux 3.17
• Alpine Linux Edge
• Arch Linux ARM aarch64
• Arch Linux ARM armv7h
• AUR
• DPorts
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• 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 unstable
• openSUSE Leap 15.4
• openSUSE Tumbleweed
• Scoop
• Spack

Categories

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

Licenses

• GPL3
• MIT (8)

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 (3)
• 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
• fallback-mnt-alpine@repology
• lssndrbarbieri@gmail.com
• nomaintainer@macports.org
• tgamblin@spack
• yuri@freebsd.org

• Group email

Homepage links

• https://github.com/potassco/clingo⁴⁶
• https://potassco.org/⁴⁶ (4)
• https://potassco.org/clingo⁴⁶
• https://potassco.org/clingo/⁴⁶ (7)

All package recipes

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

Downloads

• https://github.com/potassco/clingo⁴⁶
• https://github.com/potassco/clingo/archive/refs/tags/v5.5.2.tar.gz⁴⁶
• https://github.com/potassco/clingo/archive/v5.5.2.tar.gz⁴⁶
• https://github.com/potassco/clingo/archive/vmaster.tar.gz⁴⁶
• https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-win64.zip⁴⁶

Patches

• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/python38.patch⁴⁶
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/size-t.patch⁴⁶
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/vs2022.patch⁴⁶

Build logs

• https://kojipkgs.fedoraproject.org/packages/clingo/5.3.0/5.fc29/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.3.0/5.fc30/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.3.0/5.fc31/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.0/2.fc32/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.0/4.fc33/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.1/1.fc33/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.1/1.fc34/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.4.1/3.fc35/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.5.0/2.fc36/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.5.2/1.fc36/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.6.1/1.fc37/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.6.2/1.fc37/data/logs/⁴⁶
• https://kojipkgs.fedoraproject.org/packages/clingo/5.6.2/1.fc38/data/logs/⁴⁶
• https://sting.dragonflybsd.org/dports/logs/math___clingo.log⁴⁶