A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem