UCAT DM Constraint Builder

Construct arrangements that satisfy logical rules and inspect every constraint.