us_map in experimental stage. Does not even compile.
Backup commit.
anySAT implemented in libbdd.
Saving commit for us_map. It's really ugly and does not work well.