Versions Packages Information History Related Badges Report

Information for clingo

Summaries

  • A grounder and solver for logic programs (2)
  • 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 (4)
  • Grounder and solver for logic programs (development files)
  • Grounder and solver for logic programs (libraries)
  • Grounding tools for (disjunctive) logic programs
  • Integrated grounder and solver for answer set 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