Fix heuristic cluster refinement#21
Merged
SvenLehmann merged 5 commits intomasterfrom fix/greedy-clusteringSep 30, 2019
+338-121
Commits
Commits on Sep 30, 2019
- committedSven Lehmann
- committedSven Lehmann
- committedSven Lehmann
- committedSven Lehmann
- committedSven Lehmann