Integer Linear Optimization: Handling discrete non-fractional linear constraints