Add ECLiPSe constraint and linear integer programming solutions for '2008/World Finals/C. Mine Layer'.