mirror of COIN-OR Clp