| Package Name | Access | Summary | Updated |
|---|---|---|---|
| clorm | public | ORM interface for the Clingo ASP Solver | 2025-07-30 |
| clingo | public | A grounder and solver for logic programs. | 2025-07-25 |
| clingo-lpx | public | A solver for logic programs with difference constraints. | 2025-07-21 |
| clingo-dl | public | A solver for logic programs with difference constraints. | 2025-07-21 |
| clingcon | public | A solver for logic programs with linear constraints over integers. | 2025-07-21 |
| clinguin | public | A system to build User Interfaces in ASP | 2025-03-25 |
| plingo | public | A system for probabilistic reasoning in clingo | 2025-03-25 |
| clingraph | public | A visualizer for graphs defined as a set of facts with special integration for clingo | 2025-03-25 |
| python-clingox | public | Library with auxilary functions to use along with clingo's python module. | 2025-03-25 |
| telingo | public | Library with auxilary functions to use along with clingo's python module. | 2025-03-25 |
