Feb, 2017
Manyopt:基于SMT求解的混合、非线性优化可扩展工具
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through
SMT Solving
TL;DR本文介绍了一个名为ManyOpt的工具,用于Mixed-Integer Non-Linear Programming(MINLP)优化并基于可满足性求解器(SMT solver)的可行性检查方法。该工具具有层次结构,支持多种SMT solver,且易于添加新特性。实验表明该方法能够取得良好的效果。