/src/aig/
../
aig
gia
hop
ioa
ivy
miniaig
saig