开源Python几何约束求解器GeoSolver

GeoSolver 是一个用于几何约束求解的 Python 包。

几何约束问题（GCP）是几何变量上/之间的一组几何约束。问题是找到几何变量的配置以满足所有约束。几何变量是位置、方向、形状、大小等未知的对象。GCP 中的变量可以是点、线、平面、球体、圆柱体和更复杂的形状。几何约束是诸如对象之间的距离（例如一对点之间或点与平面之间）、对象之间的角度（例如两个平面之间的角度）、曲线和曲面的相切、正交性和平行性等关系。。 

几何约束问题存在于 CAD 应用、机器人、模拟和许多其他科学领域中。通用约束求解/满足方法通常不适用于几何约束问题，因此需要专门的几何约束求解（GCS）算法。 

求解算法

GeoSolver Python 包提供了用于指定、分析和解决几何约束问题的类和函数。它可以用在需要解决几何约束问题的Python应用程序中。

特征：

• 3D 几何约束问题，包括：

  • 点变量

  • 两点距离约束

  • 三点角度约束

• 其他几何变量（直线、平面、球体等）和约束的问题可以映射到点变量的这些基本约束

• 解决方案选择：

  • 手性约束（时钟和旋手性约束）

  • 基于原型（基于草图）的选择