I do not know whether it users a 'full' constraint solver, nu Mac OS X Lion can use constraints to layout UIs (http://developer.apple.com/library/IOs/ipad/#documentation/T...)