Algorithm Selection Python Packages

asf-lib

Under construction! Algorithm selection framework

asf

ASF is a flexible Python library for algorithm selection

sparkle

Sparkle is a Programming by Optimisation (PbO)-based problem-solving platform designed to enable the widespread and effective use of PbO techniques for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning.

lenskit-auto

An AutoRecSys Library built around LensKit. Performs automatic algorithm selection, hyperparameter optimzation and ensembling on LensKit models.

lkauto

An AutoRecSys Library built around LensKit. Performs automatic algorithm selection, hyperparameter optimzation and ensembling on LensKit models.

kpsearch

Code and text for the paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers".