aig → bool Relation

File in src/aig/aig	Includes file in src/bool
aigCanon.c	bdc / bdc.h
aigCanon.c	kit / kit.h
aigCuts.c	kit / kit.h
aigFact.c	kit / kit.h