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)
Categories
- Development/Tools/Other
- Unspecified
- extra/base
- math (2)
- sci-mathematics
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)
All package recipes
- https://archlinuxarm.org/packages/aarch64/clingo/files/PKGBUILDdead (see archive.org)
- https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=clingook
- https://build.opensuse.org/package/view_file/openSUSE:Factory/clingo/clingo.spec?expand=1ok
- https://build.opensuse.org/package/view_file/openSUSE:Leap:15.4:Update/clingo/clingo.spec?expand=1ok
- https://build.opensuse.org/package/view_file/openSUSE:Leap:15.5:Update/clingo/clingo.spec?expand=1ok
- https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILDok
- https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.13-stableok
- https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.14-stableok
- https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.15-stableok
- https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.16-stableok
- https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.17-stableok
- https://git.alpinelinux.org/aports/tree/community/clingo/APKBUILD?h=3.18-stableok
- https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/potassco.scm#n145ok
- https://github.com/Homebrew/homebrew-core/blob/master/Formula/clingo.rbdead (see archive.org)
- https://github.com/macports/macports-ports/blob/master/math/clingo/Portfileok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/potassco/clingo.nix#L19ok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/potassco/clingo.nix#L17ok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/potassco/clingo.nix#L19ok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/potassco/clingo.nix#L19ok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/potassco/clingo.nix#L19ok, no IPv6
- https://github.com/NixOS/nixpkgs/blob/release-23.11/pkgs/applications/science/logic/potassco/clingo.nix#L19ok, no IPv6
- https://github.com/ScoopInstaller/Extras/blob/master/bucket/clingo.jsonok, no IPv6
- https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/clingo/package.pyok, no IPv6
- https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/clingo/clingo-5.5.2.ebuildok
- https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/clingo/clingo-5.5.2.ebuildok
- https://gitweb.gentoo.org/repo/proj/guru.git/tree/sci-mathematics/clingo/clingo-5.5.2.ebuildok
- https://src.fedoraproject.org/rpms/clingo/blob/f29/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f30/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f31/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f32/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f33/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f34/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f35/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f36/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f37/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f38/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/f39/f/clingo.specok, no IPv6
- https://src.fedoraproject.org/rpms/clingo/blob/rawhide/f/clingo.specok, 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