Constraint Solver for Protein Structure Prediction based on local search strategies