bmc → satoko Relation

File in src/sat/bmc	Includes file in src/sat/satoko
bmcBmc.c	satoko.h
bmcBmc2.c	satoko.h
bmcBmc3.c	satoko.h
bmcBmcS.c	satoko.h
bmcMesh.c	satoko.h