Package Info

clingo

install

A grounder and solver for logic programs

Development/Tools/Other
Clingo is part of the Potassco project for Answer Set Programming
(ASP). ASP offers a simple and powerful modeling language to describe
combinatorial problems as logic programs. The clingo system then takes
such a logic program and computes answer sets representing solutions
to the given problem.
License: MIT
URL: https://potassco.org/clingo/

Categories

Development Tools Other

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
5.6.2-bp160.1.3 info GA Release 2025-03-11 16.0
  • x86-64
  • clingo
  • clingo-devel
  • libclingo4
  • lua-clingo
  • python3-clingo