clingo (math/clingo) Updated: 1 year, 11 months 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
Statistics for selected duration
2026-Jan-04 to 2026-Feb-03
| Total Installations | 5 |
|---|---|
| Requested Installations | 3 |
Loading Chart 
Loading Chart
Loading Chart
Loading Chart
| Variants | Count |
|---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart