[Discussion required] AutoFolio should use Sparkle for configuration

ADA-research / 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.

https://ada-research.github.io/Sparkle/

MIT License

5 stars 2 forks source link

[Discussion required] AutoFolio should use Sparkle for configuration #23

Open hadarshavit opened 5 months ago

hadarshavit commented 5 months ago

AutoFolio uses SMAC3 to automatically configure the selector. Sparkle is also used for algorithm configuration. Do we want AutoFolio to use sparkle for the AC?

thijssnelleman commented 3 months ago

This is a complex subject, as this would create a vicious cycle. I would recommend first adding in new Configurators to Sparkle such as SMAC3 and IRACE. AFterwards we can see how we wish to modify AutoFolio's selector configuration (And preferably implement parallelization of this process)