In the following we briefly discuss

In the following we briefly discuss individual solvers for MINLPs. We have excluded solvers
from this list that are clearly no longer available (e.g., SCICONIC). The solvers listed below
have different levels of reliability and activity with respect to development and maintenance.
Wide availability through modeling systems and other popular software indicates that a solver
has reached a decent level of maturity. Hence, in this list, we mention availability (e.g.,
open source, standalone binary, interfaces to general modeling systems) in addition to a
solver’s developer, capability, and algorithmic details. Table 1 summarizes the list of solvers
and indicates for each solver the availability via AIMMS, AMPL, GAMS, and the NEOS
server [16].

Results (Spanish) 2:

A continuación se discuten brevemente solucionadores individuales para MINLPs. Hemos excluido solucionadores
de esta lista que son claramente ya no está disponible (por ejemplo, SCICONIC). Los solucionadores se enumeran a continuación
tienen diferentes niveles de fiabilidad y de la actividad con respecto al desarrollo y mantenimiento.
Amplia disponibilidad a través de sistemas de modelado y otros programas populares indica que un solucionador
ha alcanzado un buen nivel de madurez. Por lo tanto, en esta lista, podemos mencionar la disponibilidad (por ejemplo,
de código abierto, binario independiente, interfaces para sistemas de modelado generales), además de un
desarrollador de solucionador, capacidad, y los detalles algorítmicos. La Tabla 1 resume la lista de solucionadores
e indica para cada solucionador la disponibilidad a través de AIMMS, AMPL, GAMS y el NEOS
servidor [16].

Results (Spanish) 3:

En la siguiente nos discutir brevemente los solvers para minlps.Hemos excluido solvers
de esta lista que son claramente no esta disponible (por ejemplo, sciconic).Los optimizadores que figuran a continuación
tienen diferentes niveles de fiabilidad y de actividad con respecto al desarrollo y el mantenimiento.
amplia disponibilidad a traves de sistemas de modelado y otros software popular indica que un solucionador
Ha alcanzado un buen nivel de madurez.Por lo tanto, en esta lista, podemos mencionar la disponibilidad (por ejemplo,
fuente abierta, * standalone * binary, interfaces para sistemas de modelado en general), además de una
Solver es desarrollador, capacidad, algorítmica y detalles.Cuadro 1 Resumen de la lista de solvers
e indica para cada solver la disponibilidad a través de aimms, ampl, GAMS, y la OCT
* server [16].