Integer programming support