Dependencies for aig-0.2.3

library