@software{samuel_teuber_2025_14627125, author = {Samuel Teuber and Kern, Philipp and Janzen, Marvin and Beckert, Bernhard}, title = {VeryDiff}, month = {jan}, year = 2025, publisher = {Zenodo}, doi = {10.5281/zenodo.14627125}, url = {https://doi.org/10.5281/zenodo.14627125} }