Dependencies for aig-0.2.6

library