Geometric constraint solving: Difference between revisions

Revision as of 19:29, 6 July 2021

Revision as of 22:43, 12 February 2022

Line 1:

'''GeometrictGeometric constraint solving''' is [[constraint satisfaction]] in a [[computational geometry]] setting, which has primary applications in [[computer aided design]].<ref>{{cite book|last1=Roller|first1=edited by Beat Brüderlin, Dieter|title=Geometric Constraint Solving and Applications|date=1998|publisher=Springer Berlin Heidelberg|___location=Berlin, Heidelberg|isbn=978-3-642-58898-3|pages=3–23|url=https://www.springer.com/gp/book/9783642637810|language=en}}</ref> A problem to be solved consists of a given set of geometric elements and a description of geometric [[Constraint (computer-aided design)|constraints]] between the elements, which could be non-parametric (tangency, horizontality, coaxiality, etc) or parametric (like distance, angle, radius). The goal is to find the positions of geometric elements in 2D or 3D space that satisfy the given constraints,<ref>{{cite book|last1=Christoph M. Hoffmann|last2=Pamela J. Vermeer|s2cid=18272588|title=Geometric constraint solving in R2 and R3|doi=10.1142/9789812831699_0008}}</ref> which is done by dedicated software components called geometric constraint solvers.

Geometric constraint solving became an integral part of CAD systems in the 80s, when Pro/Engineer first introduced a novel concept of feature-based parametric modeling concept.<ref>{{cite book|last1=Robert Joan-Arinyo|title=Basics on Geometric Constraint Solving|citeseerx=10.1.1.331.9554}}</ref><ref>{{cite journal|last1=R. Anderl|last2=R. Mendgen|title=Modelling with constraints: theoretical foundation and application|journal=Computer-Aided Design|volume=28|issue=3|pages=155–168|doi=10.1016/0010-4485(95)00023-2|year=1996}}</ref>

Line 25:

* C3D Solver,<ref>{{cite web|title=C3D Solver|url=http://c3dlabs.com/en/products/solver/}}</ref> a commercially available solver which is a part of [[C3D Toolkit]], integrated into KOMPAS-3D;<ref>{{cite web|title=C3D Toolkit|url=http://c3dlabs.com/en/products/c3d-kernel/}}</ref>

* GeoSolver,<ref>{{cite web|title=GeoSolver Project Page|url=http://geosolver.sourceforge.net/}}</ref> a [[GNU Public License]] [[Python (programming language)|Python]] package for geometric constraint solving.

* [[SolveSpace]], open-source CAD that ships with its own integrated geometric constraint solver

== References ==