Dependencies for hBDD-0.0.2

library