This has an incompatible license, like all of COIN.
But we could at least use it to test that we are compatible with the conventions of COIN OSI
in #18688 etc.
CC: @nathanncohen
Component: numerical
Issue created by migration from https://trac.sagemath.org/ticket/18862