ok

tests/sat/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)
\ No newline at end of file

tests/sat/issue46.smt2

+(set-logic ALL)
+(set-info :smt-lib-version 2.6)
+
+(declare-const modes_on Bool)
+
+(declare-const unit_delay_memory Bool)
+
+(assert (not (= (ite (= unit_delay_memory true) true (ite (= modes_on true) false true)) true)))
+
+(check-sat)
\ No newline at end of file