1 2 3 4 5
# 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.