Add KenKen model, generator, and solver