(set-option :verbose true)
(declare-const x Real)
(declare-const y Real)
(declare-const z Real)
(declare-const t Real)
(assert (= (+ x y z t) 5.0))
(debug graph)
(check-sat)
(get-model)
-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> y
4 ==> z
5 ==> t
6 ==> $5 + $2 + $3 + $4
7 ==> 5.0
8 ==> $6 = $7
9 ==> assert $8
delta_sat with absolute precision 0.00054931640625
36 iterations of propagation
20 decisions
  95 narrowing of a value interval
  67 narrowing of a constraint interval
x = [0.250000,0.250184]
y = [0.999816,1.000000]
z = [0.999816,1.000000]
t = [2.749816,2.750000]