PromConstraint viewer