minimodel → int Relation

File in gecode/minimodel	Includes file in gecode/int
int-expr.cpp	linear.hh