saig → sat Relation

File in src/aig/saig	Includes file in src/sat
saigConstr.c	cnf / cnf.h
saigConstr.c	bsat / satSolver.h
saigConstr2.c	cnf / cnf.h
saigConstr2.c	bsat / satSolver.h
saigGlaCba.c	cnf / cnf.h
saigGlaCba.c	bsat / satSolver.h
saigGlaPba.c	bsat / satSolver.h
saigGlaPba.c	bsat / satStore.h
saigGlaPba2.c	bsat / satSolver2.h
saigInd.c	cnf / cnf.h
saigInd.c	bsat / satSolver.h
saigOutDec.c	cnf / cnf.h
saigOutDec.c	bsat / satSolver.h
saigRefSat.c	cnf / cnf.h
saigRefSat.c	bsat / satSolver.h
saigRetMin.c	cnf / cnf.h
saigRetMin.c	bsat / satSolver.h
saigRetMin.c	bsat / satStore.h
saigTempor.c	bmc / bmc.h