Directory: Top/Computers/Programming/Languages/Constraint

Top / Computers / Programming / Languages / Constraint /

Guide to Constraint Programming
Online tutorial/textbook for beginners to the area of constraint programming. This area is of the set of less known software technologies, but is evolving rapidly and has a growing, significant commercial interest.
http://ktiml.mff.cuni.cz/~bartak/constraints/
Cuni.cz ~ Site Info Whois Trace Route RBL Check

E-constraints.net
Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.
http://www.e-constraints.net/
E-constraints.net ~ Site Info Whois Trace Route RBL Check

DeltaBlue Constraint Solver
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
http://www.cs.washington.edu/research/constraints/deltablue/
Washington.edu ~ Site Info Whois Trace Route RBL Check

DeltaBlue Code Archive
For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C DEC, C SUN4; Common Lisp, Smalltalk.
ftp://ftp.cs.washington.edu/pub/constraints/code/DeltaBlue/
Washington.edu ~ Site Info Whois Trace Route RBL Check

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.
http://www.cs.washington.edu/research/constraints/
Washington.edu ~ Site Info Whois Trace Route RBL Check

Book: Programming with Constraints: an Introduction
Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.
http://www.cs.mu.oz.au/~pjs/book/book.html
Oz.au ~ Site Info Whois Trace Route RBL Check

Brandeis Interval Arithmetic Constraint Solver
Java applet that solves non-linear real arithmetic constraints.
http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
Brandeis.edu ~ Site Info Whois Trace Route RBL Check

Koalog Constraint Solver
Java library for constraint programming. Provides technology for solving satisfaction and optimization problems including: scheduling, planning, routing, time tabling, resource allocation, and configuration. KCS includes a solver on boolean, integer an
http://www.koalog.com/php/jcs.php
Koalog.com ~ Site Info Whois Trace Route RBL Check

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 au
http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
Ogi.edu ~ Site Info Whois Trace Route RBL Check

Techno-Pulsar
Potent new optimization technology for multidimensional optimization practical problems with continuous, breaking nondifferentiative and stochastic goal functions, 100 or more variables, cuts the cost and time to creation of new technical systems.
http://www.orc.ru/~pulsar/
Orc.ru ~ Site Info Whois Trace Route RBL Check