Hyper-arc consistency and relative backtrack algorithm working in
progress...