I spent some time digging into Cassowary around 2019, so I can't recall much, but here's a link to the seminal paper: https://constraints.cs.washington.edu/solvers/cassowary-toch...