Do you have any performance comparisons? Especially compared to some Cassowary implementations.
Generally, how does this implementation scale in terms of number of variables & expressions to solve? Is the time complexity rather linear or logarithmic or quadratic or what to expect?