ILP based inference of Pr (Y,Z | X,T)