set → kernel Relation

File in gecode/set	Includes file in gecode/kernel
exec.cpp	wait.hh