Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals. Creator of many methods for constraint programming and combinatorial optimization now widely used in science and industry. Both are tested and run on most platforms. Human-centered Advances for Novice Development of Software.
Constraints can be requirements or preferences.
Client code specifies constraints to maintain, and the solver updates constrained variables to have values that satisfy the constraints. Very brief, trivial explanation of the first constraint language, and its author. Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group, Human-Computer Interaction Institute, Carnegie Mellon University. This area is of the set of less known software technologies, but is evolving rapidly and has a growing, significant commercial interest. Like most local propagation algorithms, it cannot accommodate cyclic constraints.