mtbdd: significantly improve performance of writing MTBDD files
mtbdd: significantly improve performance of writing MTBDD files

A balanced binary tree or a growing hash table might be a faster solution in the future.

utwente-fmt/sylvan,Meijuh/sylvan,trolando/sylvan,utwente-fmt/sylvan,trolando/sylvan,Meijuh/sylvan