fra → aig Relation

File in src/proof/fra	Includes file in src/aig
fra.h	aig / aig.h
fra.h	ioa / ioa.h
fraInd.c	saig / saig.h
fraSec.c	gia / giaAig.h
fraSec.c	ioa / ioa.h
fraSec.c	saig / saig.h
fraSim.c	saig / saig.h