Modification of the structure of BDDSet. The unordered_set of BDD is
remplaced by an hashmap between vals, high, low and the BDD* associated.
It goes 4 times faster for 8-queens problem. Still not enough .... :(