Dependencies for hBDD-0.0.3

library