A Constraint Solver for Flexible Protein Models