液体布局

使用 Z3 证明器 解决 UI 约束的布局引擎。

目前我用它来在电子墨水显示器上布局内容。