web nectar - Constraint


Constraint

           

Wectar: Computers: Programming: Languages: Constraint


   submit a site to this category

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

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

Book: Foundations of Constraint Satisfaction


URL: http://cswww.essex.ac.uk/CSP/edward/FCS.html
ODP description: Description of book, Academic Press, release 1993: programs from book.
Page title: Foundations of Constraint Satisfaction

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

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

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

University of Essex: Constraint Programming Group


URL: http://cswww.essex.ac.uk/CSP/
ODP description: Several very interesting projects: GENET; Guided Local Search, GLS; Guided Genetic Algorithm, GLS; Adaptive Constraint Satisfaction, ACS; Computer-Aided Constraint-Programming, CACP.
Page title: Constraint Programming and Constraint Optimization Group Home Page (Heuristics, heuristic search, constraint programming, constraint processing, optimization, optimisation, scheduling, operations research, evolutionary computation, genetic algorithms, genetic programming)

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

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

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

MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems


URL: http://citeseer.ist.psu.edu/bessiere96mac.html
ODP description: ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.
Page title: MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems - Bessiere, Regin (ResearchIndex)
Page description: In the last twenty years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased to such an extent that it quickly became necessary to compare their performances in order to propose a small number of good methods. These comparisons often led us

ICOT Free Software


URL: ftp://ftp.icot.or.jp/ifs/
ODP description: 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.

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

DeltaBlue Code Archive


URL: ftp://ftp.cs.washington.edu/pub/constraints/code/DeltaBlue/
ODP description: For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C DEC, C SUN4; Common Lisp, Smalltalk.

ILOG Solver


URL: http://www.ilog.com/products/solver/
ODP description: 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.
Page title: ILOG Constraint Programming
Page description: ILOG CP is ILOG's constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, advanced-planning scheduling, sequencing, timetabling, configuration, dispatching and resource-allocation applications with logical constraints.

GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces


URL: http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/97/plan22.html
ODP description: Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming, because such languages demand specifying many details about the geometric data of layout, the sequence in which items are displayed, the sequence in which events are handled.
Page title: H9 itaku-kenkyu Proposal-22

StarFLIP++


URL: http://www.dbai.tuwien.ac.at/proj/StarFLIP/
ODP description: Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
Page title: Introduction to StarFLIP++

Garnet Toolkit FAQ


URL: http://www.faqs.org/faqs/garnet-faq/
ODP description: 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.
Page title: Garnet Toolkit Frequently Asked Questions

ThingLab - A Constraint-Oriented Simulation Laboratory


URL: http://www.2share.com/thinglab/ThingLab%20-%20index.html
ODP description: Book by Alan Borning.

Choco


URL: http://choco-solver.net
ODP description: Java library for constraint satisfaction problems (CSP), constraint programming (CP), explanation-based constraint solving (e-CP). Built on event-based propagation mechanism with backtrackable structures. [Open Source, BSD]
Page title: Main Page - Choco

Advanced Constraint Techniques for User Interface Implementation


URL: http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
ODP description: 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.

DeltaBlue: Benchmarking Java with Richards and DeltaBlue


URL: http://research.sun.com/people/mario/java_benchmarking/
ODP description: 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]
Page title: Benchmarking Java with Richards and DeltaBlue

A Differential Approach to Graphical Interaction


URL: http://www.cs.wisc.edu/graphics/Papers/Gleicher/Thesis/
ODP description: 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.

Seventh International Conference on Principles and Practice of Constraint Programming


URL: http://www2.cs.ucy.ac.cy/~iclpcp01/CP01home.html
ODP description: 2001 November 26 - December 1, Paphos, Cyprus.
Page title: CP2001 Home page

Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet


URL: http://citeseer.ist.psu.edu/62541.html
ODP description: ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding support for multi-way constraints and hierarchies.
Page title: Multi-Garnet: Integrating Multi-Way Constraints with Garnet - Sannella, Borning (ResearchIndex)
Page description: Constraints provide a useful mechanism for maintaining relations in user interface toolkits. Garnet is a widely used user interface toolkit with considerable functionality, based on one way, required constraints. Multi Garnet extends Garnet by adding support for multi way constraints and constraint

ThingLabII: Constraint-based user interfaces


URL: http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/constrnt/systems/thinglab/0.html
ODP description: Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable objects called things. Incremental constraint satisfier, module compiler, construction-set style user interface, many tools, extensible set of primitive user interface building blocks.
Page title: Package: areas/constrnt/systems/thinglab/

Constraints: An International Journal


URL: http://www.springer.com/east/home?SGWID=5-102-70-35487134-detailsPage=journal|description|description
ODP description: Covering all aspects of computing with constraints; on paper or online; fee required.
Page title: Constraints - Artificial Intelligence (incl. Robotics) Journals, Books & Online Media | Springer
Page description: Constraints - Artificial Intelligence. Constraints provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constra...




Found what you where looking for? Please help others to find the basic necessities:

Support the work of the D-Foundation



Thumbnails byInformation based on the Open Directory Projectsearch powered by
      

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

powered by Sphinx