CarstenScherer/Algorithm-Synthesis - Scherer, Carsten W. (2023)