The coin c++ library