Code for assignments in Discrete Optimization by Pascal Van Hentenryck (Coursera, Jun 2013).