clingo
A grounder and solver for logic programs
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.
No hi ha cap paquet oficial disponible per a openSUSE Leap 16.0Distribucions
openSUSE Tumbleweed
openSUSE Leap 16.0
SLFO 1.2
Distribucions sense suport
Les distribucions següents no tenen suport oficial. Useu aquests paquets segons la vostra responsabilitat.