OR-Tools  9.6

init → sat Relation

File in ortools/initIncludes file in ortools/sat
init.hcp_model_solver.h