Polymath Jr.: Covering Grids with Hyperplanes Project Here is some demo code for Sage and using ILPs to solve grid problems!