Modeller is a program for comparative protein structure modeling by satisfaction of spatial restraints, provided by the Sali Lab at UCSF.