Skip to content

Merge pull request #764 from scipopt/mt/add_getconshdlrname #506

Merge pull request #764 from scipopt/mt/add_getconshdlrname

Merge pull request #764 from scipopt/mt/add_getconshdlrname #506