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.

Il n'y a pas de paquet officiel disponible pour openSUSE Leap 16.0

Distributions

openSUSE Tumbleweed

Version officielle Officiel
5.8.0
Expert Download

openSUSE Leap 16.0

SLFO 1.2

Distributions non supportées

Les distributions suivantes ne sont pas officiellement supportées. À utiliser à vos risques et périls.