Last released May 7, 2026
Algorithm selection framework
Last released Mar 23, 2026
Python wrapper for the Revisiting SATZilla 2024 feature extractor
Last released Dec 2, 2025
GraphBench
Last released Dec 1, 2025
"Python 3.8+ toolbox for submitting jobs to Slurm
Last released Sep 11, 2025
Under construction! Algorithm selection framework
Supported by
