Loading ToolBench
Evaluates parametric constraints with units treated as part of the value. Supports constraint evaluation, solving via z3, and static unit checking. Nothing here knows about SysML, CAD or FEA — any producer emitting the Constraint shape can be evaluated.
Scoring was not performed
| Scored | Grade | Overall | Spec posture | Rubric |
|---|---|---|---|---|
| 2026-09-23 | F | 24 | 2026-07-28+ | v2 |