Add options for alphabet len, secret len, solver