#layout #solve #ui #constraints #z3 #prover #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

#1145 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

~24MB
~496K SLoC