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.
The Labs suite comprises programs related to Answer Set Programming. These are either small utilities or projects in an early or unfinished development phase.