Polymath Jr.: Covering Grids with Hyperplanes Project

Here is some demo code for Sage and using ILPs to solve grid problems!