Department of ICS / Software / asptools

ASPTOOLS/MISC: Miscellaneous Tools for ASP

We have implemented a number of subsidiary tools when developing solvers, verification tools, and translators in the context of answer set programming (ASP). This page collects many of them for potential users' convenience.


Index of the Tools

This software has been designed to be used with smodels (versions 2.*) and the front-end lparse which are are available here. Many of the programs list their command line options when invoked with option flag -h or --help. Version information is printed with --version. Many of the tools understand "-" as a shorthand for standard input.

Download (newer versions)

Download (historical versions)


Usage in Brief


[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 08 April 2020. Tomi Janhunen