使用说明
USolver
此项目不再维护。
我已经开始工作了 OneChronos,所以我不再开发或支持USolver。该存储库已存档,任何发现它有用的人都可以只读。
如果你对这类工作感兴趣(组合优化、SMT/凸求解器、形式化方法、数学问题的语言模型工具),OneChronos正在招聘。看看 职业页面.
USolver是一个专注于组合优化、SMT/凸求解器和形式化方法的求解工具,适用于数学问题的语言模型工具开发。
此项目不再维护。
我已经开始工作了 OneChronos,所以我不再开发或支持USolver。该存储库已存档,任何发现它有用的人都可以只读。
如果你对这类工作感兴趣(组合优化、SMT/凸求解器、形式化方法、数学问题的语言模型工具),OneChronos正在招聘。看看 职业页面.