| Package Name | Access | Summary | Updated |
|---|---|---|---|
| clingo-lpx | public | A solver for logic programs with linear constraints. | 2025-12-10 |
| clingo | public | A grounder and solver for logic programs. | 2025-12-10 |
| clingcon | public | A solver for logic programs with difference constraints. | 2025-11-27 |
| clingo-dl | public | A solver for logic programs with difference constraints. | 2025-11-27 |
