{"name":"clingo","portdir":"math/clingo","version":"5.7.1","license":"MIT","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://potassco.org/clingo/","description":"An Answer Set Programming system to ground and solve logic programs.","long_description":"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.","active":true,"categories":["math"],"maintainers":[{"name":"vital.had","github":"barracuda156","ports_count":2571}],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","clang-17"]}],"depends_on":[{"type":"lib","ports":["clingcon","aspcud"]}]}