var dir_e2a8863ee8e7cd9122c04bdba1c35a3b =
[
    [ "strategies", "dir_230a420a279f78b45ea47b2d650bf1a7.html", "dir_230a420a279f78b45ea47b2d650bf1a7" ],
    [ "solver.h", "solver_8h.html", null ]
];