The OTI Constraint Solver: A Constraint Library for Constructing
Interactive Graphical User Interfaces
Authors: Alan Borning and Bjorn N. Freeman-Benson
In Proceedings of the First International Conference on Principles and
Practice of Constraint Programming, September 1995, Ugo Montanari and
Francesca Rossi (eds), Springer LNCS 976, pages 624-628.
ENVY/Constraints is an IBM/Smalltalk library that provides a constraint
satisfier and a collection of useful constraints, targeted at developing
interactive graphical user interfaces. The solver supports multi-way
constraints and constraint hierarchies. It uses a hybrid algorithm,
combining local propagation with pluggable cycle solvers, allowing
constraints to range over arbitrary objects, while at the same time
satisfying constraints representing simultaneous equations over the reals.
full paper (compressed postscript)
Constraints home page