# liquid-layout

A layout engine that solves UI constraints using [the Z3 prover](https://github.com/Z3Prover/z3).

Currently I use this to layout content on a E-paper display.