Online tutorial/textbook for beginners to the area of constraint programming. This area is of the s...
Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms,...
For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory...
Description of book, MIT Press, release March 1998: programs from book, slides for courses for use ...
Java applet that solves non-linear real arithmetic constraints.
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GN...
Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: t...
Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system...
The ad hoc manner in which direct manipulation interfaces have been designed and implemented restri...
Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequaliti...
Frequently Asked Questions about Garnet user interface development environment for Common Lisp and ...