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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results