The Potsdam Answer Set Solving Collection provides open source technology for Answer Set Programming.
About ASP
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With our systems you can concentrate on an actual problem, rather than a smart way of implementing it.
The clingo system
Clingo is a powerful system for ASP solving. It sits at the core of a broader suite of ASP systems that expand modeling capabilities and simplify integration into larger workflows.
The Knowledge Representation and Reasoning group at the University of Potsdam specializes in Answer Set Programming (ASP).
Our spin-off, Potassco Solutions, provides custom integration and professional support for industrial applications.
We provide open-source ASP systems and a comprehensive tool suite that simplifies modeling and integration across a wide range of applications.