v 5.7.1 Updated: 3 months, 3 weeks ago

An Answer Set Programming system to ground and solve 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.

To install clingo, paste this in macOS terminal after installing MacPorts

sudo port install clingo

Add to my watchlist

Installations 5
Requested Installations 2