A Heyawake solver.