clingo

v 5.5.2 Updated: 1 month 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.

https://potassco.org/clingo/

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

sudo port install clingo

Add to my watchlist

Installations 5
Requested Installations 2