For  Pascal van Hentenryck's Discrete Optimization class