Python code snippets from Discrete Mathematics for Computer Science spec...
Lattice-based integer linear programming solver