ssw → aig Relation

File in src/proof/ssw	Includes file in src/aig
sswFilter.c	gia / giaAig.h
sswInt.h	ioa / ioa.h
sswInt.h	saig / saig.h
sswPart.c	gia / giaAig.h
sswPart.c	ioa / ioa.h
sswRarity.c	gia / giaAig.h
sswRarity2.c	gia / giaAig.h