Sponsored Links:
Guide to Constraint Programming (Popularity:  )
http://ktiml.mff.cuni.cz/~bartak/constraints/
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: )
http://cswww.essex.ac.uk/CSP/
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: )
http://www.e-constraints.net/
Definitions, applications, libraries, links.
|
DeltaBlue Constraint Solver (Popularity: )
http://www.cs.washington.edu/research/constraints/deltablue/
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
|
DeltaBlue code archive (Popularity: )
ftp://ftp.cs.washington.edu/pub/constraints/code/DeltaBlue/
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: )
http://www.cs.washington.edu/research/constraints/
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: )
http://www.cs.mu.oz.au/~pjs/book/book.html
Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.
|
Book: Foundations of Constraint Satisfaction (Popularity: )
http://cswww.essex.ac.uk/CSP/edward/FCS.html
Description of book, Academic Press, release 1993: programs from book.
|
Brandeis Interval Arithmetic Constraint Solver (Popularity: )
http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
Java applet that solves non-linear real arithmetic constraints.
|
Koalog Constraint Solver (Popularity: )
http://www.koalog.com/php/jcs.php
Java library for constraint programming. It provides technology for solving satisfaction and optimization problems including: scheduling, planning, routing, time tabling, ...
|
ILOG Solver (Popularity: )
http://www.ilog.com/products/solver/
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: )
http://www.cs.adfa.edu.au/~gtc/GTC/
University course: definitions, lecture notes, books, language descriptions, links.
|
Garnet Project (Popularity: )
http://www-2.cs.cmu.edu/~garnet/
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: )
http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
Project to develop and explore using advanced constraint methods to make user interface software. Constraints as a general computational technique ...
|
Natural Programming (Popularity: )
http://www-2.cs.cmu.edu/~NatProg/
Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: ...
|
Techno-Pulsar (Popularity: )
http://www.orc.ru/~pulsar/
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: )
http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/97/plan22.html
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: )
http://cslu.cse.ogi.edu/nsf/isgw97/reports/borning.html
Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop.
|
StarFLIP++ (Popularity: )
http://www.dbai.tuwien.ac.at/proj/StarFLIP/
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
|
DeltaBlue: Benchmarking Java with Richards and DeltaBlue (Popularity: )
http://research.sun.com/people/mario/java_benchmarking/
Constraint solver benchmark, in Java; about 1000 lines of code. DeltaBlue first implemented by John Maloney at University of Washington, ...
|
