Information for clingo

Versions

• 5.4.1 (6)
• 5.4.0 (3)
• 5.3.0
• 5.1.0

Package names

• clingo (6)
• clingo-dev
• math/clingo
• py3-clingo

Repositories

• Alpine Linux Edge
• AUR
• DPorts
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora Rawhide
• FreeBSD Ports
• Homebrew
• Hyperbola
• Linuxbrew
• nixpkgs stable
• nixpkgs unstable
• Scoop

Categories

• Unspecified
• math

Licenses

• GPL3
• MIT (5)

Summaries

• A grounder and solver for logic programs
• ASP system to ground and solve logic programs (2)
• Grounder and solver for logic programs
• Grounding tools for (disjunctive) logic programs
• Python bindings for clingo
• grounder and solver for logic programs
• grounder and solver for logic programs (development files)

Maintainers

• 7c6f434c@mail.ru
• adsun@aur
• fallback-mnt-alpine@repology
• yuri@freebsd.org

• Group email

Homepages

• https://potassco.org/⁴⁶ (4)
• https://potassco.org/clingo/⁴⁶ (3)

Downloads

• https://github.com/potassco/clingo/releases/download/v5.4.0/clingo-5.4.0-win64.zip⁴⁶