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.
Download Publication 2011 Sources
Usage 1.0.x
- Release: May 18th
- claspfolio integrates clasp-2.0.1 (Configured with: WITH_AUTO=1) for solving and LIBSVM for algorithm selection.
- See also the README information
Usage 0.8.0
- Manual 0.8.0
- You'll need to have Python installed for using claspfolio
- claspfolio uses clasp-1.3.4 (Configured with: WITH_CLASPRE=1) for solving and LIBSVM for algorithm selection.
- See also the README information