Nurikabe solver using MIP