The Cassowary Linear Arithmetic Constraint Solving Algorithm [pdf] (2002)

Cassowary – A Constraint Solving Toolkit