coin-or-csdp
