list solvers supporting minlp