int → kernel Relation

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