Which free MINLP solver is suitable for large scale problems (100-1000 discrete variables and 100-1000 non-linear constraints)?
I wish to know which (free) MINLP solver can I use to solve large scale (~1000 variables and ~1000 non-linear constraints) optimization problems? I would prefer a solver that specializes at solving very hard problems (even if it takes more time).