Cassowary swMATH ID: 36189 Software Authors: Greg J. Badros, Alan Borning, Peter J. Stuckey Description: The Cassowary linear arithmetic constraint solving algorithm. Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring that a pane occupy the leftmost third of a window, or preferring that an object be contained within a rectangle if possible. Previous constraint solvers designed for user interface applications cannot handle simultaneous linear equations and inequalities efficiently. This is a major limitation, as such systems of constraints arise often in natural declarative specifications. We describe Cassowary—an incremental algorithm based on the dual simplex method, which can solve such systems of constraints efficiently. We have implemented the algorithm as part of a constraint-solving toolkit. We discuss the implementation of the toolkit, its application programming interface, and its performance. Homepage: https://dl.acm.org/doi/10.1145/504704.504705 Related Software: QOCA; HiRise; Skyblue; Matlab; linprog; MathSAT; MiniSat; CVC Lite; Chaff; Python; SUPPLE; Gild; Ibuild; Rockit; Druid; Bramble; FormsVBT; Peridot; Amulet; Lapidary Cited in: 9 Documents all top 5 Cited by 27 Authors 3 Jamil, Noreen 2 Lutteroth, Christof 2 Naeem, M. Asif 2 Weber, Gerald 1 Baghaei, Nilufar 1 Bozzano, Marco 1 Bruttomesso, Roberto 1 Chen, Xuemei 1 Cimatti, Alessandro 1 Cloninger, Alexander 1 Davis, Ernest 1 German, V. N. 1 Hölzl, Matthias M. 1 Junttila, Tommi A. 1 Kirchner, Hélène 1 Meier, Max 1 Mirza, Farhaan 1 Müller, Johannes 1 Ranise, Silvio 1 Ringeissen, Christophe 1 Schulz, Stephan 1 Sebastiani, Roberto 1 Shin, Ji-Ae 1 Strandh, Robert I. 1 Tran, Duc-Khanh 1 van Rossum, Peter 1 Wirsing, Martin all top 5 Cited in 6 Serials 3 Journal of Computational and Applied Mathematics 1 Artificial Intelligence 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Cybernetics and Systems Analysis 1 Constraints Cited in 4 Fields 7 Computer science (68-XX) 3 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year