Information for clingo

Versions

• master
• 5.5.0 (7)
• 5.4.1 (3)
• 5.4.0
• 5.3.0
• 5.1.0

Package names

• clingo (8)
• clingo-dev
• math/clingo
• py3-clingo

Repositories

• Alpine Linux 3.13
• Alpine Linux 3.14
• Alpine Linux Edge
• AUR
• DPorts
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora Rawhide
• FreeBSD Ports
• Homebrew
• Hyperbola
• Linuxbrew
• MacPorts
• nixpkgs stable 21.05
• nixpkgs unstable
• Scoop
• Spack

Categories

• Unspecified
• math (2)

Licenses

• GPL3
• MIT (6)

Summaries

• A grounder and solver for logic programs
• 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 (2)
• Grounder and solver for logic programs (development files)
• Grounding tools for (disjunctive) 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
• nomaintainer@macports.org
• tgamblin@spack
• yuri@freebsd.org

• Group email

Homepage links

• https://potassco.org/⁴⁶ (4)
• https://potassco.org/clingo/⁴⁶ (5)

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=clingo⁴⁶
• https://cgit.freebsd.org/ports/plain/math/clingo/Makefile⁴⁶
• 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://github.com/DragonFlyBSD/DPorts/blob/master/math/clingo/Makefile⁴⁶
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/clingo.rb⁴⁶
• https://github.com/Homebrew/linuxbrew-core/blob/master/Formula/clingo.rb⁴⁶
• https://github.com/lukesampson/scoop-extras/blob/master/bucket/clingo.json⁴⁶
• https://github.com/macports/macports-ports/blob/master/math/clingo/Portfile⁴⁶
• https://github.com/NixOS/nixpkgs/blob/master/pkgs/applications/science/logic/potassco/clingo.nix#L17⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.05/pkgs/applications/science/logic/potassco/clingo.nix#L18⁴⁶
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/package.py⁴⁶
• 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/rawhide/f/clingo.spec⁴⁶

Downloads

• https://github.com/potassco/clingo/archive/v5.5.0.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⁴⁶

Build logs

• https://build.alpinelinux.org/buildlogs/build-3-13-x86_64/community/clingo/clingo-5.4.1-r0.log⁴⁶
• https://build.alpinelinux.org/buildlogs/build-3-14-x86_64/community/clingo/clingo-5.5.0-r0.log⁴⁶
• https://build.alpinelinux.org/buildlogs/build-edge-x86_64/community/clingo/clingo-5.5.0-r0.log⁴⁶
• https://sting.dragonflybsd.org/dports/logs/math___clingo.log⁴⁶