int → extensional Relation

File in gecode/int	Includes file in gecode/int/extensional
extensional.hh	base.hpp
extensional.hh	basic.hpp
extensional.hh	incremental.hpp
extensional.hh	layered-graph.hpp