Overview
claspre offers the pre-processing functionalities of clasp in a stand-alone tool.
By default, claspre prints a pre-processed version of the input logic program in Smodels Internal Format (check Lparse Manual for further information). This enables ASP solvers to make use of clasp's advanced pre-processing, including for instance equivalence reasoning. Command-line options can be used for customization, e.g., --trans-ext may be configured to compile extended rules into normal ones.
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.