Coalition formation clean#184

HILLELOH wants to merge 2 commits into

voting-tools:mainvoting-tools/pref_voting:mainfrom

HILLELOH:coalition-formation-cleanHILLELOH/pref_voting:coalition-formation-cleanCopy head branch name to clipboard