ampl_info ampl_info class documentation Source Header: layer-0/CoinUtils/src/CoinModel.hpp View JSON API