K 10 svn:author V 4 yuri K 8 svn:date V 27 2018-12-10T07:59:42.488176Z K 7 svn:log V 87 New port: math/osi: COIN-OR Open Solver Interface, an API for calling solver libraries END