Cassowary is a linear constraint solving algorithm that helps solve layout problems. It is used in Apple SDKs like UIKit and AppKit to solve Auto Layout constraints.
The Cassowary Linear Arithmetic Constraint Solving Algorithm
Solving Linear Arithmetic Constraints for User Interface Applications