sat → util Relation

File in ortools/sat	Includes file in ortools/util
cp_model.h	sorted_interval_list.h