| 1. | 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.
ktiml.mff.cuni.cz |
| 2. | University of Essex: Constraint Programming Group | | | Several very interesting projects: GENET; Guided Local Search, GLS; Guided Genetic Algorithm, GLS; Adaptive Constraint Satisfaction, ACS; Computer-Aided Constraint-Programming, CACP.
cswww.essex.ac.uk |
| 4. | DeltaBlue Constraint Solver | | | Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
www.cs.washington.edu |
| 5. | 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.cs.washington.edu |
| 6. | 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.
www.cs.washington.edu |
| 11. | ILOG Solver | | | ILOG's constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequencing, configuration, dispatching and resource-allocation applications with logical constraints.
www.ilog.com |
| 13. | 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.
cslu.cse.ogi.edu |
| 14. | 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.
www.orc.ru |
| 18. | ICOT Free Software | | | Free constraint software developed by Institute for New Generation Computer Technology (ICOT), Japan: Constraint MGTP (CMGTP) model generation theorem prover (MGTP), MGTP-G, KLIC, some cu-Prologs, and documents. FTP site.
ftp.icot.or.jp |
| 19. | StarFLIP++ | | | Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
www.dbai.tuwien.ac.at |
| 20. | DeltaBlue: Benchmarking Java with Richards and DeltaBlue | | | Constraint solver benchmark, in Java; about 1000 lines of code. DeltaBlue first implemented by John Maloney at University of Washington, translated to many languages: C, C++, Java; Smalltalk. [Sun Microsystems Labs]
research.sun.com |
| 21. | Principles and Practice of Constraint Programming | | | Book by Vijay Saraswat and Pascal Van Hentenryck. Description of book, MIT Press: collection of 23 original papers is first effort to assemble the work of constraint programming researchers scattered across the world in multiple disciplines.
www-mitpress.mit.edu |
| 22. | 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.
www.cs.umd.edu:80 |
| 23. | 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.
www.cs.washington.edu |
| 24. | 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, combinable interactive controls.
www.cs.wisc.edu |
| 26. | 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.
www.cs.washington.edu |
| 27. | 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, Human-Computer Interaction Institute, Carnegie Mellon University.
www.faqs.org |
| | |