Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
clingo
60
package(s) known
Alpine Linux 3.13
community
clingo
5.4.1
(5.4.1-r0)
Summary:
grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.13
community
clingo-dev
5.4.1
(5.4.1-r0)
Summary:
grounder and solver for logic programs (development files)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.13
community
py3-clingo
5.4.1
(5.4.1-r0)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.14
community
clingo
5.5.0
(5.5.0-r0)
Summary:
Grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.14
community
clingo-dev
5.5.0
(5.5.0-r0)
Summary:
Grounder and solver for logic programs (development files)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.14
community
py3-clingo
5.5.0
(5.5.0-r0)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.15
community
clingo
5.5.0
(5.5.0-r0)
Summary:
Grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.15
community
clingo-dev
5.5.0
(5.5.0-r0)
Summary:
Grounder and solver for logic programs (development files)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.15
community
py3-clingo
5.5.0
(5.5.0-r0)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.16
community
clingo
5.5.0
(5.5.0-r1)
Summary:
Grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.16
community
clingo-dev
5.5.0
(5.5.0-r1)
Summary:
Grounder and solver for logic programs (development files)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.16
community
py3-clingo
5.5.0
(5.5.0-r1)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.17
community
clingo
5.6.2
(5.6.2-r0)
Summary:
Grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.17
community
clingo-dev
5.6.2
(5.6.2-r0)
Summary:
Grounder and solver for logic programs (development files)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.17
community
clingo-libs
5.6.2
(5.6.2-r0)
Summary:
Grounder and solver for logic programs (libraries)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.17
community
py3-clingo
5.6.2
(5.6.2-r0)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.18
community
clingo
5.6.2
(5.6.2-r2)
Summary:
Grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.18
community
clingo-dev
5.6.2
(5.6.2-r2)
Summary:
Grounder and solver for logic programs (development files)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.18
community
clingo-libs
5.6.2
(5.6.2-r2)
Summary:
Grounder and solver for logic programs (libraries)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux 3.18
community
py3-clingo
5.6.2
(5.6.2-r2)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
community
clingo
5.6.2
(5.6.2-r2)
Summary:
Grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
community
clingo-dev
5.6.2
(5.6.2-r2)
Summary:
Grounder and solver for logic programs (development files)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
community
clingo-libs
5.6.2
(5.6.2-r2)
Summary:
Grounder and solver for logic programs (libraries)
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
community
py3-clingo
5.6.2
(5.6.2-r2)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Arch Linux ARM aarch64
community
clingo
5.3.0
(5.3.0-2)
Summary:
Grounding tools for (disjunctive) logic programs
License:
GPL3
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Arch Linux ARM armv7h
community
clingo
5.3.0
(5.3.0-2)
Summary:
Grounding tools for (disjunctive) logic programs
License:
GPL3
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
AUR
clingo
5.6.2
(5.6.2-1)
Summary:
Grounding tools for (disjunctive) logic programs
Maintainer:
adsun@aur
License:
MIT
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
DPorts
math/clingo
5.6.1
Summary:
Grounder and solver for logic programs
Maintainer:
yuri@freebsd.org
Category:
math
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Build log
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 29
updates
clingo
5.3.0
(5.3.0-5.fc29)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 30
updates
clingo
5.3.0
(5.3.0-5.fc30)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 31
release
clingo
5.3.0
(5.3.0-5.fc31)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 32
release
clingo
5.4.0
(5.4.0-2.fc32)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 33
updates
clingo
5.4.1
(5.4.1-1.fc33)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 33
release
clingo
5.4.0
(5.4.0-4.fc33)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 34
release
clingo
5.4.1
(5.4.1-1.fc34)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 35
release
clingo
5.4.1
(5.4.1-3.fc35)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 36
updates
clingo
5.5.2
(5.5.2-1.fc36)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 36
release
clingo
5.5.0
(5.5.0-2.fc36)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 37
updates
clingo
5.6.2
(5.6.2-1.fc37)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 37
release
clingo
5.6.1
(5.6.1-1.fc37)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 38
release
clingo
5.6.2
(5.6.2-1.fc38)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora Rawhide
development
clingo
5.6.2
(5.6.2-1.fc38)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
FreeBSD Ports
math/clingo
5.6.2
Summary:
Grounder and solver for logic programs
Maintainer:
yuri@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
,
no IPv6
Gentoo overlay GURU
sci-mathematics/clingo
5.5.2
Summary:
Integrated grounder and solver for answer set logic programs
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
GNU Guix
clingo
5.6.2
Summary:
Grounder and solver for logic programs
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Homebrew
clingo
5.6.2
Summary:
ASP system to ground and solve logic programs
Link(s):
Package page
ok
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
LiGurOS stable
sci-mathematics/clingo
5.5.2
Summary:
Integrated grounder and solver for answer set logic programs
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
LiGurOS develop
sci-mathematics/clingo
5.5.2
Summary:
Integrated grounder and solver for answer set logic programs
Maintainer:
lssndrbarbieri@gmail.com
Category:
sci-mathematics
License:
MIT
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
MacPorts
clingo
5.6.2
Summary:
An Answer Set Programming system to ground and solve logic programs.
Maintainer:
barracuda156@github
Category:
math
License:
MIT
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
clingo
5.5.0
Summary:
ASP system to ground and solve logic programs
Maintainer:
7c6f434c@mail.ru
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.05
clingo
5.5.1
Summary:
ASP system to ground and solve logic programs
Maintainer:
7c6f434c@mail.ru
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.11
clingo
5.6.2
Summary:
ASP system to ground and solve logic programs
Maintainer:
7c6f434c@mail.ru
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
clingo
5.6.2
Summary:
ASP system to ground and solve logic programs
Maintainer:
7c6f434c@mail.ru
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
openSUSE Leap 15.4
main/oss
clingo
5.5.0
(5.5.0-150400.2.5)
Summary:
A grounder and solver for logic programs
Category:
Development/Tools/Other
License:
MIT
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Leap 15.5
main/oss
clingo
5.5.0
(5.5.0-150400.2.5)
Summary:
A grounder and solver for logic programs
Category:
Development/Tools/Other
License:
MIT
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Tumbleweed
src-oss
clingo
5.6.2
(5.6.2-1.2)
Summary:
A grounder and solver for logic programs
Category:
Development/Tools/Other
License:
MIT
Link(s):
Package page
ok
Package recipe
ok
Package page
ok
Upstream homepage
ok
,
no IPv6
Scoop
extras
clingo
5.4.0
License:
MIT
Link(s):
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Spack
clingo
master
Maintainers:
alalazo@spack
tgamblin@spack
Link(s):
Package page
redir
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Patch
ok
,
no IPv6
Patch
ok
,
no IPv6
Patch
ok
,
no IPv6
Patch (raw)
ok
Patch (raw)
ok
Patch (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
dead
(see archive.org)
Spack
clingo
5.6.2
Maintainers:
alalazo@spack
tgamblin@spack
Link(s):
Package page
redir
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Patch
ok
,
no IPv6
Patch
ok
,
no IPv6
Patch
ok
,
no IPv6
Patch (raw)
ok
Patch (raw)
ok
Patch (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
T2 SDE
clingo
5.6.2
Summary:
Grounder and solver for logic programs
Maintainer:
t2@t2-project.org
Category:
extra/base
License:
MIT
Link(s):
Package page
ok
Package sources
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6