Demo for trudag manage set#102

Jonas-Kirchhoff-d-fine wants to merge 3 commits into

review_round_2score-json/json:review_round_2from

Demo_trudag_manage_setscore-json/json:Demo_trudag_manage_setCopy head branch name to clipboard