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

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

#986 in GUI

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
~488K SLoC