coin-or-CoinUtils