Minor changes.
unordered_set replaced by set to avoid variations of results while
coloring the graph. Faster, but less accurate results.
Default starting state for us_map coloring is now Idaho :).
Merge branch 'master' of https://github.com/Quentinz/bdd
allsat added
mineur bug in option parsing rules
option can be given on comand line
option added to bool knight tour