Alloy for Supply Chain Solution Bridges the Gap between Planning and Execution