har-constraint function

Constraint formulation utility functions