Using real-valued solver for propogation purposes

From: Christopher Jefferson <>
Date: Thu 23 Jan 2003 04:57:57 PM GMT
Message-Id: <>

I would like to use a real-valued linear constraint solver to perform 
bounds-tightening on the linear constraints in a CSP, rather than the (I 
believe) usual method of performing 'bounds consistency' on each of the 
linear constraints. The CSP will contain other constraints as well of 
course. I suspect that eclipse already contains some method of doing this 
but I have been unable to find it...

Thank you,

Received on Thu Jan 23 17:15:27 2003

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:21 PM GMT GMT