You can use the Parametric Constraint Evaluator to solve
equations for sets of attribute values, and monitoring the constraints
that you have defined. The analysis interfaces with computer algebra
systems such as Maxima and MATLAB.
To get started with using the Parametric Constraint Evaluator,
see Analyzing parametric diagrams.