如何知道Gekko的APOPT求解器是否在MINLP问题中找到了全局最优解？

要判断Gekko的APOPT求解器是否在MINLP问题中找到了全局最优解，可以通过以下步骤进行验证：

1. 检查求解器的输出信息：APOPT求解器通常会在求解过程中输出一些信息，如最优解的目标函数值、变量取值等。通过检查求解器输出的信息，可以了解到求解器是否找到了一个解以及该解的目标函数值。
2. 检查求解器的终止条件：APOPT求解器会在求解过程中设置一些终止条件，如最大迭代次数、最大求解时间等。如果求解器在达到这些条件时终止，可以判断当前求解结果是否为全局最优解。
3. 检查求解器的收敛性：判断求解器是否收敛也是判断最优解的一种方式。如果APOPT求解器在一定的迭代次数内能够收敛到一个稳定的解，那么这个解很有可能是全局最优解。
4. 对比多次求解结果：如果有多个求解器可供选择，可以尝试使用不同的求解器对同一问题进行求解，并对比它们得到的结果。如果Gekko的APOPT求解器在多次求解中都能找到相同的解，并且该解满足问题的约束条件，那么可以较为确定该解为全局最优解。

总之，要判断Gekko的APOPT求解器是否在MINLP问题中找到了全局最优解，需要结合求解器的输出信息、终止条件、收敛性以及多次求解结果进行综合分析。