Repository for discrete optimization course