Versions
- 5.4.1 (6)
- 5.4.0 (3)
- 5.3.0
- 5.1.0
Package names
- clingo (6)
- clingo-dev
- math/clingo
- py3-clingo
Summaries
- A grounder and solver for logic programs
- ASP system to ground and solve logic programs (2)
- Grounder and solver for logic programs
- Grounding tools for (disjunctive) logic programs
- Python bindings for clingo
- grounder and solver for logic programs
- grounder and solver for logic programs (development files)