ASP Tools — A Tool Collection for Answer Set Programming

This page collects software that have been developed for Answer Set Programming (ASP) purposes by the Computational Logic Group at the CS Department of Aalto SCI. The software comprises of native ASP solvers, a number of translators enabling the use of different back-end solvers, and a variety of miscellaneous tools related with ASP. Some benchmark collections are available under tool-specific directories as well as a dedicated benchmark directory. Binaries are available for download. Some ASP encodings are published here.

Index

Contact

For further inquiries about these tools, please contact Tomi Janhunen.