text: var searchData=
  [
    ['model_2353',['Model',['../classoperations__research_1_1sat_1_1_model.html',1,'operations_research::sat']]],
    ['multiplecircuitconstraint_2354',['MultipleCircuitConstraint',['../classoperations__research_1_1sat_1_1_multiple_circuit_constraint.html',1,'operations_research::sat']]]
  ];
  