泰勒求解器是华为泰勒实验室自主研发的针对超大规模以及嵌入式场景下的高性能数学规划求解工具。 秉承“理论作尺，探极限筑根基；算法为剑，携产业谋先至”的实验室理念，泰勒求解器将持续在超大规模，以及实时求解这两个方向不断探索极限，趋近极限，最终突破极限。

目前支持超大规模混合整数规划求解，线性规划，二次规划，非线性规划以及可满足性问题的求解。