/src/aig/
../
aig
bdc
cnf
csw
dar
deco
ec
fra
hop
ivy
kit
mem
rwt