这是 Cassowary 约束求解算法的 Rust 实现。 Cassowary 旨在解决布局用户界面的约束。约束通常采用“此按钮必须与此文本框对齐”或“此框应尝试为其他框大小的 3 倍”的形式。到目前为止，它最受欢迎的化身是 Apple 用于 Mac OS X 和 iOS 用户界面的 Autolayout 系统。使用 Cassowary 算法的 UI 库设法实现了一种比 HTML 中的传统方法更自然的方法来指定 UI 布局。 这个库是求解算法的低级接口，尽管它试图尽可能方便。因此，它对常见的用户界面约定（如矩形区域甚至二维）没有任何内在知识。这些抽象属于更高级别的 crate。

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约束求解器解决车辆布线员工排班及其他规划问题

为了降低约束求解的规模，提出了使用图元—参数图来分解模型的几何约束关系，将其分解为几个独立的子问题来分别进行求解。同时，使用粒子群优化算法对每一个子问题的约束方程组进行优化求解，并综合各个子问题的解来获得原问题的解。在实验中，将所提出的方法应用于HUST_CAID系统中。实验结果表明：该方法能够有效地完成二维几何约束关系的求解。

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