easik.sketch.constraint
Classes 
CommutativeDiagram
Constraint
ProductConstraint
PullbackConstraint
SumConstraint