var namespacezypp_1_1solver = [ [ "detail", "namespacezypp_1_1solver_1_1detail.html", "namespacezypp_1_1solver_1_1detail" ] ];
var namespacezypp_1_1solver = [ [ "detail", "namespacezypp_1_1solver_1_1detail.html", "namespacezypp_1_1solver_1_1detail" ] ];