Algorithms that locate evolutionarily conserved sequences have become powerful tools for finding functional DNA elements, including transcription factor binding sites, however, most methods do not take advantage of an explicit model for the constrained evolution of functional DNA sequences.