Merge branch 'master' of https://algohub.iti.kit.edu/_87