clingo

Edit Package clingo

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.

Source Files (show merged sources derived from linked package)
Filename Size Changed
Comments 0
No comments available
openSUSE Build Service is sponsored by