sat → proof Relation

File in src/sat	Includes file in src/proof
bmc / bmcBmc.c	fra / fra.h
bmc / bmcBmc2.c	ssw / ssw.h
bmc / bmcBmc3.c	fra / fra.h
bmc / bmcMulti.c	ssw / ssw.h
csat / csat_apis.c	fraig / fraig.h