Solving arithmetic constraints (with ic?)

Dear all,

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

For example, the constraints

Y=2*Y, Y=3*X

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

X^2-4

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

scholz@informatik.tu-darmstadt.de
http://www.intellektik.informatik.tu-darmstadt.de/~scholz