Buchenberg, P., & Doepfert, M. InfDB (Version 0.2.0) [Computer software]. https://gitlab.lrz.de/tum-ens/infdb