sat → aig Relation

File in src/sat	Includes file in src/aig
glucose / AbcGlucose.cpp	gia / gia.h
glucose / AbcGlucose.h	gia / gia.h
glucose2 / AbcGlucose2.cpp	gia / gia.h
glucose2 / AbcGlucose2.h	gia / gia.h
glucose / AbcGlucoseCmd.cpp	gia / gia.h
glucose2 / AbcGlucoseCmd2.cpp	gia / gia.h
bmc / bmc.h	gia / gia.h
bmc / bmc.h	saig / saig.h
bmc / bmcBmcAnd.c	gia / giaAig.h
bmc / bmcBmci.c	gia / giaAig.h
bmc / bmcCexCare.c	gia / giaAig.h
bmc / bmcCexCut.c	gia / giaAig.h
bmc / bmcCexMin1.c	ioa / ioa.h
bmc / bmcCexMin2.c	gia / gia.h
bmc / bmcChain.c	gia / giaAig.h
bmc / bmcEco.c	gia / giaAig.h
bmc / bmcFault.c	gia / giaAig.h
bmc / bmcICheck.c	gia / giaAig.h
bmc / bmcInse.c	gia / giaAig.h
bmc / bmcMaj.c	miniaig / miniaig.h
bmc / bmcMaxi.c	gia / giaAig.h
bmc / bmcMulti.c	gia / giaAig.h
bmc / bmcMulti.c	ioa / ioa.h
cadical / cadicalSolver.h	gia / gia.h
cnf / cnf.h	aig / aig.h
kissat / kissatSolver.h	gia / gia.h
bsat / satInterA.c	aig / aig.h
bsat / satInterB.c	aig / aig.h
bsat / satProof.c	aig / aig.h
bsat / satSolver2i.c	gia / gia.h
bsat / satSolver2i.c	gia / giaAig.h