Solution: Contracting Costs

The code...

local
   proc {Contracting X}
     PH Pa Pl El Ca Ma Pa    
      
   in
     X = sol(ph:PH pa:Pa pl:Pl el:El ca:Ca ma:Ma)
     X ::: 1#5300
     1100 =: PH + Pa
     1700 =: Pa + Pl
     1100 =: Pl + El
     3300 =: El + Ca
     5300 =: Ca + Ma
     3200 =: Ma + Pa

     {FD.distribute split X}
   end
in
   {ExploreOne Contracting}
end

1#sol(ca: 3000 el: 300 ma: 2300 pa: 900 ph: 200 pl: 800)