A solver for JSON-format KenKen.