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