Geometric constraint solving: Difference between revisions

Revision as of 08:38, 30 January 2023

Latest revision as of 20:14, 9 August 2025

(4 intermediate revisions by 4 users not shown)

Line 3:

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>

There are additional problems of geometric constraint solving that are related to sets of geometric elements and constraints: dynamic moving of given elements keeping all constraints satisfied,<ref>{{cite journal|title=A constraint-based dynamic geometry system|journal=Computer-Aided Design|volume=42|issue=2|pages=151–161|last1=Marc Freixas|last2=Robert Joan-Arinyo|last3=Antoni Soto-Riera|doi=10.1016/j.cad.2009.02.016|year=2010}}</ref> detection of over- and under-constrained sets and subsets,<ref>{{cite book|last1=Rossignac|first1=Jaroslaw|last2=SIGGRAPH|first2=Joshua Turner, editors ; sponsored by ACM|title=Proceedings : Symposium on Solid Modeling Foundations and CAD/CAM Applications, Radisson Plaza Hotel, Austin, Texas, June 5-7, 1991|date=1991|publisher=Association for Computing Machinery|___location=New York|isbn=978-0-89791-427-7}}</ref><ref>{{cite journal|title=Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems|journal=Computer-Aided Design|volume=43|issue=10|pages=1234–1249|last1=Simon E.B.Thierry|last2=Pascal Schreck|last3=Dominique Michelucci|last4=Christoph Fünfzig|last5=Jean-David Génevaux|doi=10.1016/j.cad.2011.06.018|year=2011|url=https://hal.archives-ouvertes.fr/hal-00691690/file/cad11.pdf}}</ref> auto-constraining of under-constrained problems, etc.

== Methods ==

Line 24:

* LGS,<ref>{{cite web|title=Bricsys Component Technology for Constraint Management in 2D/3D|url=https://www.bricsys.com/el-gr/applications/developers/components/}}</ref> a commercial solver developed by LEDAS and currently owned by Bricsys, integrated in [[Cimatron#CimatronE|Cimatron E]] and [[BricsCAD]];<ref>{{cite news|title=Cimatron to Introduce New Motion Simulator Powered by LEDAS LGS 3D|url=http://www.3dcadinfo.com/news/1794/cimatron-to-introduce-new-motion-simulator-powered-by-ledas-lgs-3d/}}</ref><ref>{{cite web|title=Exclusive Q&A: What it means, now that Bricsys bought IP from Ledas|url=http://worldcadaccess.typepad.com/blog/2011/10/exclusive-qa-what-it-means-now-that-bricsys-bought-ip-from-ledas.html}}</ref>

* 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=httphttps://geosolver.sourceforge.net/}}</ref> a [[GNU General Public License]] [[Python (programming language)|Python]] package for geometric constraint solving.

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

== See also ==

* [[Geometric modeling kernel]]

== References ==