Cameo Simulation Toolkit comes with the parametric evaluator to help you solve constraint expressions in your model. The parametric evaluator is designed to work with the SysML Parametric Diagram. But, you can also use it to solve constraints on any UML classes. With the parametric evaluator, you can define a mathematical or a logical expression as a constraint on a block or a class to limit the values of its properties. If the expression is an equation, the parametric evaluator will evaluate the expression of the constraint and update the values of the properties with the result of the evaluation. If the expression is a logical expression, the parametric evaluator will use the expression to validate the values of the properties.