Discrete Optimization Library