On the hybridization of constraint programming and local search techniques. Models and software tools