Gravar-mail: Algorithms for Protein Design