Package: coinor-symphony