GitHub repository: losfair/liquid-layout
Primary language: Rust
Created: 2021-06-10T07:17:11Z
Description: A layout engine that solves UI constraints using the Z3 prover.