Contents:
Classes
Constraint(expression, equality_or_inequality)
Constraint
A Constraint encodes either an equality or an inequality between two Expression objects.
Expression