标签：SMT求解器

USolver是一个专注于组合优化、SMT/凸求解器和形式化方法的求解工具，适用于数学问题的语言模型工具开发。