clingo (math/clingo) Updated: 1 year, 1 month 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
2025-Mar-13 to 2025-Apr-12
| Total Installations | 5 |
|---|---|
| Requested Installations | 2 |
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