claspfolio is a portfolio solver for ASP that makes use of machine-learning techniques for performing algorithm selection, choosing among different configurations of clasp.

In 2009, claspfolio was the best single-system solver in the global ranking of the Second ASP Competition.

In 2011, claspfolio was the best single-system solver in the NP track and second place in the global ranking of the Third ASP Competition.

Download

Releases can be found on sourceforge: sourceforge.net/projects/potassco/files/claspfolio

Citation

Resources