A collection of software that has been developed for Answer Set Programming (ASP) purposes by the Computational Logic Group at the ICS Department of Aalto SCI.

Link to Website