最佳约束树 OptimalConstraintTree是一个Julia程序包，它允许全局优化问题的混合整数线性或凸近似。 OCT在其后端建模语言，并使用 （具有免费的学术许可）开发MI近似值。 然后，可以通过JuMP兼容的求解器解决问题，具体取决于近似类型。 OCT的默认求解器是 ，它也免费提供学术许可。 文档待定，代码和测试正在开发中。 如果您有任何迫切的问题或应用程序，请创建一个问题！