EXALT: EXplainable ALgorithmic Tools for Optimization Problems. - Zuzanna Baczek; Michal Bizon; Aneta Pawelec; Piotr Sankowski (CoRR, 2025)