float → kernel Relation

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