potassco
by Potassco
The Potsdam Answer Set Solving Collection. Tools for Answer Set Programming developed at the University of Potsdam.
Most Popular
Downloads
Usage Instructions
To install packages from this channel, use the channel temporarily with conda or add it to your .condarc file for configured ongoing access. Learn more
- Temporary
- Configured
Packages
| Name | Latest Version | Summary | Updated | License |
|---|
| aspcud | 1.9.4 | A solver for package problems in CUDF format using ASP | Mar 25, 2025 | MIT |
| asprilo-generator | 0.4.0 | An instance generator for asprilo | Mar 25, 2025 | MIT |
| asprilo-visualizer | 0.4.0 | A tool to visualize asprilo problem instances | Mar 25, 2025 | — |
| asprin | 3.1.1 | Qualitative and quantitative optimization in answer set programming. | Mar 25, 2025 | MIT |
| clingcon | 5.2.1 | A solver for logic programs with difference constraints. | Nov 27, 2025 | MIT |
| clingo | 5.8.0 | A grounder and solver for logic programs. | Mar 26, 2026 | MIT |
| clingo-dl | 1.4.0 | A solver for logic programs with difference constraints. | Nov 27, 2025 | MIT |
| clingo-lp | 0.2.0 | clingo with theory propagator for linear programming | Mar 25, 2025 | MIT |
| clingo-lpx | 1.3.0 | A solver for logic programs with linear constraints. | Jan 19, 2026 | MIT |
| clingraph | 1.1.2 | A visualizer for graphs defined as a set of facts with special integration for clingo | Mar 25, 2025 | MIT |
| clinguin | 1.0.4 | A system to build User Interfaces in ASP | Mar 25, 2025 | MIT |
| clorm | 1.6.2 | ORM interface for the Clingo ASP Solver | Apr 1, 2026 | MIT |
| hqspre | 1.4 | Solving Dependency Quantified Boolean Formulas | Mar 25, 2025 | LGPL |
| plingo | 1.1.0 | A system for probabilistic reasoning in clingo | Mar 25, 2025 | MIT |
| python-clingox | 1.2.1 | Library with auxilary functions to use along with clingo's python module. | Mar 25, 2025 | MIT |
| re2c | 3.1 | A lexer generator for C and C++ | Mar 25, 2025 | Public Domain |
| tbb | 2018_20171205 | A high level abstract threading library | Mar 25, 2025 | Apache 2.0 |
| telingo | 2.1.3 | Library with auxilary functions to use along with clingo's python module. | Mar 25, 2025 | MIT |
| win_flex_bison | 2.4.12 | A port of the Flex & Bison tools to the Windows platform | Mar 25, 2025 | GNU General Public License version 3.0 (GPLv3) |