Guide to Constraint Programming (Popularity:  )
Online tutorial/textbook for beginners to the area of constraint programming. This area is of the set of less known software ...
|
University of Essex: Constraint Programming Group (Popularity: )
Several very interesting projects: GENET; Guided Local Search, GLS; Guided Genetic Algorithm, GLS; Adaptive Constraint Satisfaction, ACS; Computer-Aided Constraint-Programming, CACP.
|
Explanation-based constraint programming (Popularity: )
Definitions, applications, libraries, links.
|
DeltaBlue Constraint Solver (Popularity: )
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
|
DeltaBlue code archive (Popularity: )
For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C DEC, C ...
|
University of Washington: Constraint-Based Systems (Popularity: )
Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem ...
|
Book: Programming with Constraints: an Introduction (Popularity: )
Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.
|
Book: Foundations of Constraint Satisfaction (Popularity: )
Description of book, Academic Press, release 1993: programs from book.
|
Brandeis Interval Arithmetic Constraint Solver (Popularity: )
Java applet that solves non-linear real arithmetic constraints.
|
Koalog Constraint Solver (Popularity: )
Java library for constraint programming. It provides technology for solving satisfaction and optimization problems including: scheduling, planning, routing, time tabling, ...
|
ILOG Solver (Popularity: )
ILOG's constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequencing, configuration, dispatching ...
|
Graph Theory and Constraint Programming (Popularity: )
University course: definitions, lecture notes, books, language descriptions, links.
|
Garnet Project (Popularity: )
Generating an Amalgam of Real-time, Novel Editors and Toolkits; developed by User Interface Software Group, Human Computer Interaction Institute, School ...
|
Advanced Constraint Techniques for User Interface Implementation (Popularity: )
Project to develop and explore using advanced constraint methods to make user interface software. Constraints as a general computational technique ...
|
Natural Programming (Popularity: )
Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: ...
|
Techno-Pulsar (Popularity: )
Potent new optimization technology for multidimensional optimization practical problems with continuous, breaking nondifferentiative and stochastic goal functions, 100 or more ...
|
GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces (Popularity: )
Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming, because such languages ...
|
Constraint-based Languages and Environments for Building Interactive Systems (Popularity: )
Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop.
|
Pascal Van Hentenryck (Popularity: )
Brown University, US. Some constraint papers.
|
StarFLIP++ (Popularity: )
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
|
