clingo packages - Repology

Versions Packages Information History Related Badges Report

18 package(s) known

Alpine Linux Edge
^community

clingo

5.4.0 (5.4.0-r1)

Summary:
A grounder and solver for logic programs
Maintainer:
- fallback-mnt-alpine@repology
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/clingo/⁴⁶

Alpine Linux Edge
^community

clingo-dev

5.4.0 (5.4.0-r1)

Summary:
A grounder and solver for logic programs (development files)
Maintainer:
- fallback-mnt-alpine@repology
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/clingo/⁴⁶

Alpine Linux Edge
^community

py3-clingo

5.4.0 (5.4.0-r1)

Summary:
Python bindings for clingo
Maintainer:
- fallback-mnt-alpine@repology
License:
- MIT
Package-related links:
- Package details
Homepage:
- https://potassco.org/clingo/⁴⁶

AUR

clingo

5.4.0 (5.4.0-2)

Summary:
Grounding tools for (disjunctive) logic programs
Maintainer:
- adsun@aur
License:
- MIT
Package-related links:
Homepage:
- https://potassco.org/⁴⁶

math/clingo

5.4.0

Summary:
Grounder and solver for logic programs
Maintainer:
- yuri@freebsd.org
Category:
- math
Package-related links:
Homepage:
- https://potassco.org/⁴⁶

Fedora 29
^updates

clingo

5.3.0 (5.3.0-5.fc29)

Summary:
A grounder and solver for logic programs
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://potassco.org/clingo/⁴⁶

Fedora 30
^updates

clingo

5.3.0 (5.3.0-5.fc30)

Summary:
A grounder and solver for logic programs
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://potassco.org/clingo/⁴⁶

Fedora 31
^release

clingo

5.3.0 (5.3.0-5.fc31)

Summary:
A grounder and solver for logic programs
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://potassco.org/clingo/⁴⁶

Fedora 32
^release

clingo

5.4.0 (5.4.0-2.fc32)

Summary:
A grounder and solver for logic programs
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://potassco.org/clingo/⁴⁶

Fedora 33
^release

clingo

5.4.0 (5.4.0-4.fc33)

Summary:
A grounder and solver for logic programs
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://potassco.org/clingo/⁴⁶

clingo

5.4.0 (5.4.0-4.fc33)

Summary:
A grounder and solver for logic programs
Category:
- Unspecified
License:
- MIT
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://potassco.org/clingo/⁴⁶

math/clingo

5.4.0

Summary:
Grounder and solver for logic programs
Maintainer:
- yuri@freebsd.org
Category:
- math
Package-related links:
Homepage:
- https://potassco.org/⁴⁶

clingo

5.4.0

Summary:
ASP system to ground and solve logic programs
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://potassco.org/⁴⁶

Hyperbola
^community

clingo

5.1.0 (5.1.0-1)

Summary:
Grounding tools for (disjunctive) logic programs
License:
- GPL3
Package-related links:
- Package search on hyperbola.info.nu
Homepage:
- https://potassco.org/⁴⁶

clingo

5.4.0

Summary:
ASP system to ground and solve logic programs
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://potassco.org/⁴⁶

clingo

5.4.0

Summary:
ASP system to ground and solve logic programs
Maintainer:
- 7c6f434c@mail.ru
License:
- MIT
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- https://potassco.org/⁴⁶

nixpkgs unstable

clingo

5.4.0

Summary:
ASP system to ground and solve logic programs
Maintainer:
- 7c6f434c@mail.ru
License:
- MIT
Package-related links:
- Package source
Homepage:
- https://potassco.org/⁴⁶

Scoop
^extras

clingo

5.4.0

License:
- MIT
Homepage:
- https://potassco.org/clingo/⁴⁶
Download(s):
- https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-win64.zip⁴⁶