Solving arithmetic constraints (with ic?)

From: Ulrich Scholz <>
Date: Wed 08 Dec 2004 11:16:17 AM GMT
Message-ID: <>
Dear all,

I'm looking for a way to solve sets of arithmetic constraints (on real

For example, the constraints

Y=2*Y, Y=3*X

should yield the solution X=0, Y=0, and


should yield the two possibilities

X=2 and X=-2

I tried the ic solver but did not get instantiated variables but
ranges.  Sure, no solver will be able to solve all constraint sets,
but how to find some more solutions?

Thank you, Uli
Ulrich Scholz
Received on Wed Dec 08 13:46:12 2004

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