Constrainer is a small engine through which you can define checks of, usually static, constraints. These constraints can also be aggregated into a report and they can be executed like tests.

The report on the left shows a few constraints. Selecting one shows both the result and the definition of the constraint.

The report lists the group of constraints.