text: var searchData=
  [
    ['hintsearch_0',['HintSearch',['../classGoogle_1_1OrTools_1_1Sat_1_1SatParameters_1_1Types.html#a4bcc4341f2101aac62b817aa5992e12fae8708c323f02f30cb10e52cd9a4781e5',1,'Google::OrTools::Sat::SatParameters::Types']]]
  ];
  