IMPORTANT: I know how to use Auto-Layout. How to use it has been asked before already and this is not a duplicate of that question.
Auto-Layout is Apple’s cross-platform constraint-based layout system. But how does it resolve constraints? How does it know where views should be and how does it detect ambiguity?