Building Decision Support Systems: using MiniZinc - Wallace (Springer International Publishing, 2020)