z3约束求解器4.8.9版本，win64位 关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases

开源的 Python编写 几何约束求解器 - qhull (libqhull5) -- see http://www.qhull.org/ - pyQt4 -- see http://qt.nokia.com/ - pyOpenGL -- see http://pyopengl.sourceforge.net/ - Numpy -- http://numpy.scipy.org/

CheetahSolver是用于CAD应用程序的最快的多线程2D参数约束求解器。 CheetahSolver .Net API允许您将求解器集成到您的CAD应用程序。 这些示例向您展示了在常见情况下如何使用CheetahSolver API。 如果要查看CheetahSolver的运行状况，可以从或从我们的下载AutoCAD的Cheetah Solver插件。 Cheetah Solver插件通过我们的CheetahSolver替代了内置的AutoCAD参数求解器 完整的文档将在我们的网站上提供： ，或者通过请求 您可以从下载CheetahSolver .Net API二进制文件，以安装CheetahSolver，在程序包管理器控制台中运行以下命令：PM> Install-Package CheetahSolver 有关技术问题和支持，请通过电子邮件与我们联系： 。 出于商业目的

optaplanner, Java约束求解器解决车辆布线员工排班及其他规划问题

z3约束求解器4.8.10版本，win64位 关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases