CombiLP solver added