text: var searchData=
  [
    ['problemread',['ProblemRead',['https://scip.zib.de/doc/html/classpolyscip_1_1Polyscip.php.html#a4578b8ec11a541f8fd946d9185bf8dd4a256b5b4f48a4c36d4d34024d448b8001',1,'polyscip::Polyscip']]]
  ];
  