Files
ortools-clone/ortools/sat/go/cpmodel