liquid-layout

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

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