Learn more about Constraint from our Languages directory

A Differential Approach to Graphical Interaction - The ad hoc manner in which direct manipulation interfaces have been designed and implemented restricts the types of interactive controls. This dissertation presents a new approach for a systematic method to implement flexible

Advanced Constraint Techniques for User Interface Implementation - Project to develop and explore using advanced constraint methods to make user interface software. Constraints as a general computational technique allow declaring a set of relationships between entities. A constraint satisfaction system is employed to aut

Automated Construction of Virtual Worlds Using Modeling Constraints - Designing and specifying 3D scenes is a tedious

Book: Foundations of Constraint Satisfaction - Description of book

Book: Programming with Constraints: an Introduction - Description of book

Brandeis Interval Arithmetic Constraint Solver - Java applet that solves non-linear real arithmetic constraints.

Cassowary - Incremental constraint solving toolkit

Constraint Handling Rules: CHR - High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation

Constraint-based Languages and Environments for Building Interactive Systems - Page about Alan Borning

Constraints Archive - Holds comp.constraints FAQ

Constraints for the Web - Constraints can specify desired layout of web documents

Constraints: An International Journal - Covering all aspects of computing with constraints; on paper or online

DeltaBlue code archive - For incremental dataflow constraint solver

DeltaBlue Constraint Solver - Efficient

DeltaBlue: Benchmarking Java with Richards and DeltaBlue - Constraint solver benchmark

Explanation-based constraint programming - Definitions

FSQP: Feasible Sequential Quadratic Programming - By AEM Design: a source code for minimizing the maximum of a set of smooth objective functions subject to general smooth constraints. Two versions

Garnet Project - Generating an Amalgam of Real-time

Garnet Toolkit FAQ - Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group

Garnet: Brad A. Myers - Personal page of Garnet inventor and lead researcher. Describes Garnet motives

Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet - ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality

Graph Theory and Constraint Programming - University course: definitions

GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces - Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming

ICOT Free Software - Free constraint software developed by Institute for New Generation Computer Technology (ICOT)

ILOG Solver - ILOG's constraint-programming optimization engine

Koalog Constraint Solver - Java library for constraint programming. It provides technology for solving satisfaction and optimization problems including: scheduling

Leda Programming Language - Multiparadigm language

MAC - FTP download

MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems - ResearchIndex: In the last 20 years

Natural Programming - Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: Human-centered Advances for Novice Development of Software. School of Computer Science

Omega Project - Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.

Pascal Van Hentenryck - Brown University

Principles and Practice of Constraint Programming - Book by Vijay Saraswat and Pascal Van Hentenryck. Description of book

Seventh International Conference on Principles and Practice of Constraint Programming - 2001 November 26 - December 1

Sketchpad: Ivan E. Sutherland - Very brief

StarFLIP++ - Free

Techno-Pulsar - Potent new optimization technology for multidimensional optimization practical problems with continuous

The Leda Programming Language - Bug reports

ThingLab - Simulation laboratory: environment to build dynamic models of experiments in geometry

ThingLabII: Constraint-based user interfaces - Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable objects called things. Incremental constraint satisfier

University of Essex: Constraint Programming Group - Several very interesting projects: GENET; Guided Local Search

University of London - Royal Holloway: Constraints Group

University of Washington: Constraint-Based Systems - Constraints research group