(set-option :verbose true)
(assert (Not (>= 1.0 2.0)))
(debug graph)
(check-sat)
(get-model)
-------------------------
0 ==> true
1 ==> false
2 ==> 2.0
3 ==> 1.0
4 ==> $2 < $3
5 ==> assert $4
unsat
1 iterations of propagation
0 decisions
  6 narrowing of a value interval
  6 narrowing of a constraint interval
No model