Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
clingo
41
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
Alpine Linux Edge
community
clingo
5.5.0 (5.5.0-r1)
Summary:
Grounder and solver for logic programs
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
Alpine Linux Edge
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
Alpine Linux Edge
community
py3-clingo
5.5.0 (5.5.0-r1)
Summary:
Python bindings for clingo
Maintainer:
fallback-mnt-alpine@repology
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log (raw)
4
6
Arch Linux ARM aarch64
community
clingo
5.3.0 (5.3.0-2)
Summary:
Grounding tools for (disjunctive) logic programs
License:
GPL3
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Arch Linux ARM armv7h
community
clingo
5.3.0 (5.3.0-2)
Summary:
Grounding tools for (disjunctive) logic programs
License:
GPL3
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
AUR
clingo
5.5.2 (5.5.2-1)
Summary:
Grounding tools for (disjunctive) logic programs
Maintainer:
adsun@aur
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
DPorts
math/clingo
5.5.1
Summary:
Grounder and solver for logic programs
Maintainer:
yuri@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log
4
6
Fedora 29
updates
clingo
5.3.0 (5.3.0-5.fc29)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 30
updates
clingo
5.3.0 (5.3.0-5.fc30)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 31
release
clingo
5.3.0 (5.3.0-5.fc31)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 32
release
clingo
5.4.0 (5.4.0-2.fc32)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 33
updates
clingo
5.4.1 (5.4.1-1.fc33)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 33
release
clingo
5.4.0 (5.4.0-4.fc33)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 34
release
clingo
5.4.1 (5.4.1-1.fc34)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 35
release
clingo
5.4.1 (5.4.1-3.fc35)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 36
updates
clingo
5.5.2 (5.5.2-1.fc36)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 36
development
clingo
5.5.0 (5.5.0-2.fc36)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora Rawhide
development
clingo
5.5.2 (5.5.2-1.fc37)
Summary:
A grounder and solver for logic programs
Category:
Unspecified
License:
MIT
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
FreeBSD Ports
math/clingo
5.5.2
Summary:
Grounder and solver for logic programs
Maintainer:
yuri@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
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
Links(s):
Upstream download
Upstream homepage
4
6
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
GNU Guix
clingo
5.5.0
Summary:
Grounder and solver for logic programs
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package recipe
4
6
Homebrew
clingo
5.5.2
Summary:
ASP system to ground and solve logic programs
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream download
Upstream homepage
4
6
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
MacPorts
clingo
5.5.0
Summary:
An Answer Set Programming system to ground and solve logic programs.
Maintainer:
nomaintainer@macports.org
Category:
math
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
Package statistics
4
6
Package build status
4
6
nixpkgs stable 21.05
clingo
5.5.0
Summary:
ASP system to ground and solve logic programs
Maintainer:
7c6f434c@mail.ru
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs stable 21.11
clingo
5.5.0
Summary:
ASP system to ground and solve logic programs
Maintainer:
7c6f434c@mail.ru
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs unstable
clingo
5.5.1
Summary:
ASP system to ground and solve logic programs
Maintainer:
7c6f434c@mail.ru
License:
MIT
Links(s):
Upstream homepage
4
6
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package recipe
4
6
openSUSE Tumbleweed
src-oss
clingo
5.5.0 (5.5.0-2.3)
Summary:
A grounder and solver for logic programs
Category:
Development/Tools/Other
License:
MIT
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package page
4
6
Scoop
extras
clingo
5.4.0
License:
MIT
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Spack
clingo
master
Maintainers:
tgamblin@spack
alalazo@spack
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Patch
4
6
Patch (raw)
4
6
Spack
clingo
5.5.2
Maintainers:
tgamblin@spack
alalazo@spack
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Patch
4
6
Patch (raw)
4
6