description Models and solves a resource-to-demand assignment problem where unfulfilled demand is penalized, using either CP-SAT or MIP solvers with binary assignment variables and integer slack ...