claspfolio is a portfolio-based algorithm selection solver designed for Answer Set Programming (ASP). It is an open-source tool developed by Potassco (the Potsdam Answer Set Solving Collection) at the University of Potsdam.
Instead of solving logic programs using a single, static strategy, claspfolio uses machine learning to predict which specific solver configuration will perform best on a given problem instance. Core Functionality claspfolio – Potassco
Leave a Reply