Mues, M. et al. 2020. Thoughts about using Constraint Solvers in Action. Electronic Communications of the EASST. 78, (May 2020). DOI:https://doi.org/10.14279/tuj.eceasst.78.1100.