Formal versions of the Bot finally completed.
V4 uses the basic backtracking search on the reduced labeling tree,
checking consistency only for the variables assignments.
V5 uses a backtracking search algorithm on the reduced labeling tree,
doing constraints propagation, with hyper-arc consistency, after each
variable assignment.
!!IT STILL NEEDS TO BE TESTED AND VERIFIED!!