Standard declarations E e INT BOOL INTT INT STRING INTT k m n s fun rest(i,j) =if (i>=j) then i-j else 0; fun order(i,j) = if j>=i then i else i+i-j; val a=2; val b=2; customer demand c_stock retailer_demand delivered_r wholesaler_demand delivered_w manufacturer production manufacturer wholesaler retailer customer k k distributor distributor_demand delivered_d manufacturing @+b final product stock wholesaler demand matching fulfillmentorder @+a [k*n>0] delivered delivery order(k,m) k k m s n n+s n rest(n,k) k rest(k,n) k-rest(k,n) demand_from demand_to forming_order matching fulfillment order @+a [k*n>0] delivered_to stock delivery delivered_from k order(k,n) k k n rest(k,n) m m+k k-rest(k,n) rest(n,k) n k