Building decision support systems : using MiniZinc (2020)