clingo (math/clingo) Updated: 10 months, 4 weeks 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
2024-Dec-16 to 2025-Jan-15
| Total Installations | 4 |
|---|---|
| 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