Abstract: Current parametric CAD systems are based on solving equality types of constraints between geometric objects and parameters. This includes algebraic equations constraining the values of variables, ...