Added in integer programming solver