Automatic GUI layout

Linear programming constraints

Cassowary and derivatives

ALM