coinor-flopc++