issue40_sat.smt2

(set-logic ALL)
(set-info :smt-lib-version 2.6)
(declare-const x Int)
(declare-const y Int)

;(assert (not (= y 0)))

(assert
  (not (= (colibri_abs_int (colibri_cdiv x y))
          (colibri_cdiv (colibri_abs_int x) (colibri_abs_int y)))))

(check-sat)