Ferramenta de construção de biblioteca de solucionadores AMPL
