Added working ILP solver