| Package Name | Access | Summary | Updated |
|---|---|---|---|
| clingo-lpx | public | A solver for logic programs with difference constraints. | 2025-08-29 |
| clingo | public | A grounder and solver for logic programs. | 2025-08-29 |
| clingcon | public | A solver for logic programs with linear constraints over integers. | 2025-08-29 |
| clingo-dl | public | A solver for logic programs with difference constraints. | 2025-08-29 |
