Minor changes on anySAT : return a boolean specifying wether a total
assignment succeeded or not.
Reorganisation of dirty code in us_map/main.cpp in dirty code in a
separated class.