Versions Packages Information History Related Badges Report

Information for clingo

Versions

  • master
  • 5.5.0 (7)
  • 5.4.1 (3)
  • 5.4.0
  • 5.3.0
  • 5.1.0

Package names

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

Repositories

Categories

  • Unspecified
  • math (2)

Licenses

  • GPL3
  • MIT (6)

Summaries

  • A grounder and solver for logic programs
  • ASP system to ground and solve logic programs (2)
  • An Answer Set Programming system to ground and solve logic programs.
  • Grounder and solver for logic programs (2)
  • Grounder and solver for logic programs (development files)
  • 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

All package recipes

Downloads

Patches

Build logs