claspre offers the pre-processing functionalities of clasp in a stand-alone tool. Recent clasp version offer this via option --pre.

As a second functionality, claspre allows for extracting static and dynamic features of logic programs. The latter are obtained via terminable solving, re-using the search engine of clasp. Command-line options can be used to customize the maximum amount of initial solving with claspre, done in order the extract dynamic features.

Download Manual