Cassowary constraint solving algorithm in Dart - View it on GitHub