text: var searchData=
  [
    ['smart_5fgraph_2eh',['smart_graph.h',['../a00483.html',1,'']]],
    ['soplex_2ecc',['soplex.cc',['../a00484.html',1,'']]],
    ['soplex_2eh',['soplex.h',['../a00485.html',1,'']]],
    ['static_5fgraph_2eh',['static_graph.h',['../a00486.html',1,'']]],
    ['suurballe_2eh',['suurballe.h',['../a00487.html',1,'']]]
  ];
  