Save to a ui file.
This is an initial cut at providing a tool for interactive exploration of constraints.