clingo (math/clingo) Updated: 1 year ago Add to my watchlist

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.

Version: 5.7.1 License: MIT GitHub
Displaying statistics for 1,150 users who made submissions during: until

Statistics for selected duration

2025-Jan-23 to 2025-Feb-22


Total Installations 4
Requested Installations 2


macOS Versions

Loading Chart

Port Versions

Loading Chart



Xcode Versions

Loading Chart

CLT Versions

Loading Chart



Variants table

Variants Count


Monthly Statistics

Can remain cached for up to 24 hours










Quick Links:
MacPorts
Port Information was updated:
9 hours ago
dccdea06

Most recent build (in app's database) ran:
3 hours ago

Latest stats submission was received:
8 minutes ago