Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With our tools you can concentrate on an actual problem, rather than a smart way of implementing it. Get started!
To get a quick first impression, you may want to experiment with running clingo in your browser.
To find out more about a specific system and a download link, follow one of the links below.
- clingo is an ASP system to ground and solve logic programs.
- clingcon extends clingo with constraint solving capabilities.
- aspcud is a solver for package dependencies.
- asprin is a general framework for qualitative and quantitative optimization in ASP.
The Labs suite comprises programs related to Answer Set Programming. These are either small utilities or projects in an early or unfinished development phase.