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
openSUSE Leap 16.0
SLFO 1.2
असमर्थित वितरण
निम्नलिखित वितरण आधिकारिक रूप से समर्थित नहीं हैं। इन पैकेज के उपयोग/प्रभाव का उत्तरदायित्व आप पर है।