liquid-layout

A layout engine that solves UI constraints using the Z3 solver.