Newsgroups: comp.constraints
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel-eecis!news.mathworks.com!newsfeed.internetmci.com!in2.uu.net!EU.net!sun4nl!cwi.nl!news
From: dinesh@cwi.nl (Dinesh)
Subject: [Q] solver or propagator
Message-ID: <DINESH.96Aug9102419@demeter.cwi.nl>
Sender: news@cwi.nl (The Daily Dross)
Nntp-Posting-Host: demeter.cwi.nl
Organization: CWI, Amsterdam
Date: Fri, 9 Aug 1996 08:24:18 GMT
Lines: 25


Constraint solvers generally have the ability
to provide a set of solutions. Constraint propagators
generally are too specific that they are not even considered
constraint "solvers" by some. What makes a constraint solver
unable to be used as a propagator? If one can get a set of solutions
from a solver, this can be made as specific as one desires -- which is
what happens during propagation (I guess).

Do anyone know of a constraint solver system that can be used in
conjunction with a constraint based graphical editor ie., a system that
has an API (application programming interface). What one needs during
graphical editing is the ability to use some constraints as "soft"
constraints. Ie., when a user moves an object, the coordinates of the
moved object are preferred wrt the other objects and the other objects
also prefer their positions (when possible). 

Has anyone used Eclipse or Oz or CLP or such in conjunction
with a graphical editor? or is the problem just so simple that
"any constraint propagator like DeltaBlue could be used here"

Thanks for any pointers,
dinesh
-- 
		Dinesh <T.B.Dinesh@cwi.nl> 
