clingo packages - Repology

Versions Packages Information History Related Badges Report

21 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⁴⁶
- Package details

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⁴⁶
- Package details

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⁴⁶
- Package details

Alpine Linux Edge
^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⁴⁶
- Package details

Alpine Linux Edge
^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⁴⁶
- Package details

Alpine Linux Edge
^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⁴⁶
- Package details

AUR

clingo

5.4.1 (5.4.1-1)

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

math/clingo

5.4.1

Summary:
Grounder and solver for logic programs
Maintainer:
- yuri@freebsd.org
Category:
- math
Links(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
Links(s):

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

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

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

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

clingo

5.4.0 (5.4.0-5.fc34)

Summary:
A grounder and solver for logic programs
Category:
- Unspecified
License:
- MIT
Links(s):

math/clingo

5.4.1

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

clingo

5.4.1

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

Hyperbola
^community

clingo

5.1.0 (5.1.0-1)

Summary:
Grounding tools for (disjunctive) logic programs
License:
- GPL3
Links(s):
- Upstream homepage⁴⁶
- Package search on hyperbola.info.nu

clingo

5.4.1

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

clingo

5.4.0

Summary:
ASP system to ground and solve logic programs
Maintainer:
- 7c6f434c@mail.ru
License:
- MIT
Links(s):

nixpkgs unstable

clingo

5.4.1

Summary:
ASP system to ground and solve logic programs
Maintainer:
- 7c6f434c@mail.ru
License:
- MIT
Links(s):
- Upstream homepage⁴⁶
- Package source

Scoop
^extras

clingo

5.4.1

License:
- MIT
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶