updated the integer solver in the probablistic model