Scherer, C. W. (2023). CarstenScherer/Algorithm-Synthesis (Version v2) [Computer software]. https://doi.org/https://zenodo.org/badge/latestdoi/691960972