An ASP pre-processor and feature extractor


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.

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 (new) Download (old) Documentation