Versions Packages Information History Related Badges Report

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

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

Homepages

Downloads