Merge branch 'feat/quality_metrics' into 'main' Feat/quality metrics See merge request tum-cps/pytupli!75
