Wectar - Computers - Programming - Languages - Constraint

	submit a site to this category
	wectar web site suggestions for this odp category

Subcategories
Amulet@	Constraint Logic@	Oz-Mozart@	Prolog@	Screamer@


Page		1	2

	Gecode URL: http://www.gecode.org/ ODP description: Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD] Page title: GECODE home
	Koalog Constraint Solver URL: http://www.koalog.com/php/jcs.php ODP description: 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 and set domains, global constraints. KCS also includes a local search solver useful for solving problems when exact methods are too slow. Page description: Koalog Constraint Solver is a java library for constraint programming
	Guide to Constraint Programming URL: http://ktiml.mff.cuni.cz/~bartak/constraints/ ODP description: 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.
	Natural Programming URL: http://www.cs.cmu.edu/~NatProg/ ODP description: Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: Human-centered Advances for Novice Development of Software. School of Computer Science, Carnegie Mellon University; NSF funded.
	Garnet: Brad A. Myers URL: http://www.cs.cmu.edu/~bam/ ODP description: Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale. Page title: Brad Myers's Home Page
	University of Washington: Constraint-Based Systems URL: http://www.cs.washington.edu/research/constraints/ ODP description: Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals. Page title: UW Constraint-Based Systems
	Cassowary URL: http://www.cs.washington.edu/research/constraints/cassowary/ ODP description: 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. Page title: UW Cassowary Constraint Solving Toolkit
	Constraint Handling Rules: CHR URL: http://www.cs.kuleuven.be/~dtai/projects/CHR/ ODP description: 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. Page title: Constraint Handling Rules (CHR) Page description: Constraint Handling Rules (CHR) Programming Language
	Book: Programming with Constraints: an Introduction URL: http://www.cs.mu.oz.au/~pjs/book/book.html ODP description: Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book. Page title: Programming with Constraints: an Introduction
	E-constraints.net URL: http://www.e-constraints.net/ ODP description: Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links. Page title: e-constraints.net : the home of Explanation-based Constraint Programming
	Constraints Archive URL: http://4c.ucc.ie/web/archive/index.jsp ODP description: 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, links. Clearly the product of much work. Page title: Constraints Archive - Cork Constraint Computation Centre
	Omega Project URL: http://www.cs.umd.edu/projects/omega/ ODP description: 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. Page title: Frameworks and Algorithms for the Analysis and Transformation of Scientific Programs
	DeltaBlue Constraint Solver URL: http://www.cs.washington.edu/research/constraints/deltablue/ ODP description: Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site. Page title: UW DeltaBlue Constraint Solver
	Pascal Van Hentenryck URL: http://www.cs.brown.edu/people/pvh/ ODP description: Brown University, US. Some constraint papers.
	Garnet Project URL: http://www.cs.cmu.edu/~garnet/ ODP description: Generating an Amalgam of Real-time, Novel Editors and Toolkits; developed by User Interface Software Group, Human Computer Interaction Institute, School of Computer Science, Carnegie Mellon University. Free: public domain. Page title: Garnet Project Home Page
	Brandeis Interval Arithmetic Constraint Solver URL: http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html ODP description: Java applet that solves non-linear real arithmetic constraints. Page title: IAsolver 0.1beta1: the Brandeis Interval Arithmetic Constraint Solver
	Constraints for the Web URL: http://www.cs.washington.edu/research/constraints/web/mm97.dir/ ODP description: 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.
	ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language URL: http://citeseer.ist.psu.edu/lopez93kaleidoscope.html ODP description: The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects. Page title: Kaleidoscope: A Constraint Imperative Programming Language - Lopez, Freeman-Benson, Borning (ResearchIndex) Page description: The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. In addition to combining the useful features of both paradigms, there are synergistic effects of this integration, such as the ability to define constraints over user def
	Constraint-based Languages and Environments for Building Interactive Systems URL: http://cslu.cse.ogi.edu/nsf/isgw97/reports/borning.html ODP description: Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop. Page title: Constraint-Based Languages and Environments for Building Interactive Systems
	Techno-Pulsar URL: http://www.orc.ru/~pulsar/ ODP description: 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. Page title: New Powerful Optimization Technology