An efficient implementation of the Cassowary constraint solving algorithm https://pypi.org/project/kiwisolver/