Generate lists of random symbols from a given alphabet that satisfy given constraints