(set-option :verbose true)
(declare-const x Real)
(assert (Not (<= x 0.5)))
(debug graph)
(check-sat)
(get-model)
-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> 0.5
4 ==> $2 <= $3
5 ==> (Not $4)
6 ==> assert $5
sat
13 iterations of propagation
10 decisions
  18 narrowing of a value interval
  18 narrowing of a constraint interval
x = [0.500976,0.501954]