liquid-layout 0.1.1

A layout engine that solves UI constraints using the Z3 prover.
Documentation