The Cassowary Linear Arithmetic Constraint Solving Algorithm [pdf] (2002)constraints.cs.washington.edu63 pointsandsoitisa year ago