Model Management and Solvers for Decision Support · Study