Overview
claspfolio is a portfolio solver for ASP that makes use of different configurations of the clasp solver. Before solving, the features of an input logic program are extracted by means of claspre. These features are then utilized by claspfolio for algorithm selection, in order to launch the most promising configuration of clasp for solving. Algorithm selection is done by appeal to machine-learning techniques.
In 2009, claspfolio was the best single-system solver in the global ranking of the Second ASP Competition.
Usage
- You'll need to have Python and R with "e1071" package installed
- See also the README information