Add clustering using simulated annealing#215

bobot merged 3 commits intoSMT-COMP:2025_final_executionSMT-COMP/smt-comp.github.io:2025_final_executionfrom

bobot:generate_graphicsbobot/smt-comp.github.io:generate_graphicsCopy head branch name to clipboard