Dierl, S., Holewa, F., Howar, F., Mues, M., & Spielmann, L. L. Konstraints [Computer software]. https://github.com/tudo-aqua/konstraints