#layout #solve #constraints #z3 #prover #ui #engine

liquid-layout

A layout engine that solves UI constraints using the Z3 prover

2 releases

0.1.1 Jun 10, 2021
0.1.0 Jun 10, 2021

#940 in GUI

22 downloads per month

MIT license

28KB
836 lines

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.

Dependencies

~23MB
~486K SLoC