Bazsites.com Constraint
Directory Topics
On the Web
- Cassowary - Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. 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.
- Constraints Archive - Holds comp.constraints FAQ, pages of constraint-related pointers, source code for various systems, benchmarks, directory of people interested in constraints, constraint bibliographies, collection of online papers, extensive links. Clearly the product of much work.
- Constraints for the Web - Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout constraints, needed and optional. Final appearance of page comes from negotiation between author and viewer, via solving all the constraints.
- 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, based on one way, required constraints. Multi-Garnet extends this by adding support for multi-way constraints and hierarchies.
- Constraint Handling Rules: CHR - High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation, and incremental solving (satisfaction) of constraints. Run and test CHR online; do a demo, try it now.
- 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, module compiler, construction-set style user interface, many tools, extensible set of primitive user interface building blocks.
- ResearchIndex: Hierarchical Constraint Logic Programming - A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints), and strict requirements (hard constraints).
- 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 automatically ensure that the relationships hold under changing conditions.
- Echidna - Constraint logic programming language that includes ideas from object-oriented programming and intelligent backtracking. Constraints include finite domain constraints (as in CHiP) and disjoint real interval domain constraints. FTP Site.
- University of Washington: Constraint-Based Systems - Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals.
Wikipedia Articles
- Constraint logic programming - Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses.
- Concurrent constraint logic programming - Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a concurrent process is therefore programmed as the evaluation of a goal by the interpreter.
- Constraint inference - In constraint satisfaction, constraint inference is a relationship between constraints are their consequences. A set of constraints D entails a constraint C if every solution to D is also a solution to C.
- Hamiltonian constraint - In loop quantum gravity, dynamics such as time-evolutions of fields are controlled by the Hamiltonian constraint. The identity of the Hamiltonian constraint is a major open question in quantum gravity, as is extracting of physical observables from any such specific constraint.
- Constraint algorithm - In mechanics, a constraint algorithm is a method for satisfying constraints for bodies that obey Newton's equations of motion. There are three basic approaches to satisfying such constraints: choosing novel unconstrained coordinates ("internal coordinates"), introducing explicit constraint forces, and minimizing constraint forces implicitly by the technique of Lagrange multipliers or projection methods.