A mac program for this is being written by the same group that produced
MapMaker, an extremely sophisticated program for genetic linkage analysis.
The program will not only do the normal thermodymanic calculations, but
is smart enough to tell whether you will get hybridization to known
repetitive sequences in the organism you are working with! I'll post
more when I find out about it.