Parallel AIG package.