Constraint-based tools for protein folding