Linear Programming in WFM