var searchData=
[
  ['unknown_4316',['UNKNOWN',['../namespaceoperations__research_1_1sat.html#aedc4ddb96acc28481c09828d2e016815a6ce26a62afab55d7606ad4e92428b30c',1,'operations_research::sat']]]
];