mathematical-constraint-formalization

Formalize constraints using mathematical notation.