| 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 |
| hqspre | public | Solving Dependency Quantified Boolean Formulas | 2025-03-25 |
| python-clingox | public | Library with auxilary functions to use along with clingo's python module. | 2025-03-25 |
| clingo-lp | public | clingo with theory propagator for linear programming | 2025-03-25 |
| asprilo-visualizer | public | A tool to visualize asprilo problem instances | 2025-03-25 |
| asprilo-generator | public | An instance generator for asprilo | 2025-03-25 |
| asprin | public | Qualitative and quantitative optimization in answer set programming. | 2025-03-25 |
| aspcud | public | A solver for package problems in CUDF format using ASP | 2025-03-25 |
| win_flex_bison | public | A port of the Flex & Bison tools to the Windows platform | 2025-03-25 |
| re2c | public | A lexer generator for C and C++ | 2025-03-25 |
| tbb | public | A high level abstract threading library | 2025-03-25 |
| telingo | public | Library with auxilary functions to use along with clingo's python module. | 2025-03-25 |
