Text this: Uso de softwares na resolução de modelos matemáticos em pesquisa operacional