clingo packages - Repology

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

Arch Linux ARM aarch64
^community

clingo

5.3.0 (5.3.0-2)

Summary:
Grounding tools for (disjunctive) logic programs
License:
- GPL3
Link(s):

Arch Linux ARM armv7h
^community

clingo

5.3.0 (5.3.0-2)

Summary:
Grounding tools for (disjunctive) logic programs
License:
- GPL3
Link(s):

AUR

clingo

5.6.2 (5.6.2-1)

Summary:
Grounding tools for (disjunctive) logic programs
Maintainer:
- adsun@aur
License:
- MIT
Link(s):

DPorts

math/clingo

5.6.1

Summary:
Grounder and solver for logic programs
Maintainer:
- yuri@freebsd.org
Category:
- math
Link(s):

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):

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):

GNU Guix

clingo

5.6.2

Summary:
Grounder and solver for logic programs
Link(s):

Homebrew

clingo

5.6.2

Summary:
ASP system to ground and solve logic programs
Link(s):

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):

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):

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):

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):

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):

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):

Scoop
^extras

clingo

5.4.0

License:
- MIT
Link(s):

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):

Packages for clingo

clingo

clingo-dev

py3-clingo

clingo

clingo-dev

py3-clingo

clingo

clingo-dev

py3-clingo

clingo

clingo-dev

py3-clingo

clingo

clingo-dev

clingo-libs

py3-clingo

clingo

clingo-dev

clingo-libs

py3-clingo

clingo

clingo-dev

clingo-libs

py3-clingo

clingo

clingo

clingo

math/clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

math/clingo

sci-mathematics/clingo

clingo

clingo

sci-mathematics/clingo

sci-mathematics/clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo

clingo