这篇论文介绍了 Cassowary 线性算术约束求解算法。它是一种用于解决线性等式和不等式约束的算法，尤其适用于构建用户界面和其他需要约束求解的应用。Cassowary 算法的优势在于它能高效地处理复杂的约束关系，并支持约束的增量添加和删除，从而使得界面能够动态地响应用户的操作。该算法最初由 Greg Nelson 在 80 年代开发，并经过 Brad Myers 等人的改进，最终演变为现在使用的 Cassowary 算法。这篇论文详细阐述了该算法的原理、实现以及在实际应用中的表现。