clingo

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.

Для openSUSE Leap 16.0 нет официального пакета

Дистрибутивы

openSUSE Tumbleweed

официальный выпуск Официальные
5.8.0
Expert Download

openSUSE Leap 16.0

SLFO 1.2

Неподдерживаемые дистрибутивы

Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.