This encoding uses BDD varaibles for each tile
to encode their posisition. It is INFERIOER
to the Npuzzle2 encoding in performance !!!
