2 releases
| 0.1.1 | Jun 10, 2021 |
|---|---|
| 0.1.0 | Jun 10, 2021 |
#7 in #z3
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
~495K SLoC