Synthesizer for optimal collective communication algorithms - View it on GitHub